recursive exponentiation by squaring

let rec exp x = function
  0 -> 1
| n when n mod 2 = 0  -> let y = exp x (n/2) in y*y
| n when n mod 2 <> 0 -> let y = exp x ((n-1)/2) in y*y*x;;