own recursive version of x^y. different from mystery() in sedgewicks
1.1.18