(This can be done by repeatedly making use of functional relations such as Exp[2x]  Exp[x] 2 which express f[2x] as a polynomial in f[x] ; such an approach is known to work for elementary, elliptic, modular and other functions associated with ArithmeticGeometricMean and for example DedekindEta .)