Exponentiation: x^y

A function to compute arbitrary powers of x can be implemented using the exponential and natural logarithm using the following identity:

$$x^y = \exp(y \!\cdot\!\ln(x))$$