declare(z,complex)$ (%e^x)^y => %e^(x*y) (%e^z)^y => (%e^z)^y Can I turn off "pedantic mode" so that the second yields %e^(z*y)?