Exponent rule simplification