Exponentiation and Simplification