Arbieroo says
(a^x)^y does not equal a^(x^y)...