exponentiation rules - Search