exponent rules and simplification