allow large exponents to join in (x**y)**z, also when z=1/2