Elementary Functions
Axiom has most of the usual functions from calculus built-in.
You can substitute values or another elementary function for variables
with the function eval.
As you can see, the substitutions are made "in parallel" as in the case
of polynomials. It's also possible to substitute expressions for kernels
instead of variables.