1 (defun fast-expt-iter (b n &optional (a 1)) 2 (cond ((= n 0) a) 3 ((evenp n) (fast-expt-iter (square b) (/ n 2) a)) 4 (t (fast-expt-iter b (- n 1) (* b a)))))