>>549
(defun hoge (f x n z)
(cond ((zerop n) z)
((evenp n) (hoge f (funcall f x x) (/ n 2) z))
(t (hoge f x (1- n) (funcall f x z)))))