7594: power rules correction so (x**y)**z != x**(y*z)
whitespace and similar edits
Impose domain restrictions in trig sub integrals