New exp rule: euler^(ln(x) * y) = x^y

And some tests testing this as well as (x^y)^z = x^(y*z)