Thank you for the pointer to Geogebra, yeah, there ought to be someone already dealing this :-) It seems that there are some shortcuts for many functions (e.g.

Thank you for the pointer to Geogebra, yeah, there ought to be someone already dealing this :-) It seems that there are some shortcuts for many functions (e.g. [1] only evaluates the function finite number of times). [1] http://ggb1.idm.jku.at/~kovzol/papers/Kovacs-Recio-Weitzhofer-20120323.pdf http://ggb1.idm.jku.at/~kovzol/papers/Kovacs-Recio-Weitzhofe...