7594: power rules correction so (x**y)**z != x**(y*z)

fixes #7594
I think we can just make sure there are not unevaluated powers. I'm not even sure this is really necessary once the wrong logic has been removed.