complex exponentiation