Are you sure your algorithm works well for expressions like `exp(1/exp(1/(x-2)**2 - 1))`?  Or for general exp-log functions, as you assume in \_has_only_supported_func?

BTW, now you break own test suite...