power

function (power x y) → z