e^lnx log exponent simplification