(**) :: Floating a => a -> a -> a
x ** y = exp (log x * y)