exponent rule simplification