Exponent rules and simplification