let rec exp x n = match n with
0 -> 1
| n when n mod 2 = 1 -> x*(x^((n-1)/2))^2
| n when n mod 2 = 0 -> x^(n/2)^2
;;