Recursive functions of symbolic expressions and their computation by machine, Part I | Synapse