1 (defun fast-mult-iter (a b &optional (acc 0)) 2 (cond ((= b 0) acc) 3 ((evenp b) (fast-mult-iter (double a) (halve b) acc)) 4 (t (fast-mult-iter a (1- b) (+ a acc)))))