Extend input language with (limited) composition of transcendental functions
We should support function calls like exp (sin x)
or cos (sqrt x)
. This requires proving approximation error theorems that can propagate errors accumulated on arguments.