だから、lambda liftingするだけで、

(defun foo (a b)
(if (> (abs (- a (* b b))) 0.00001) (foo a (/ (+ b (/ a b)) 2)) b))

(defun sqrt (x)
(foo x (/ (1+ x) 2)))

両方こうなる、はず。俺も>>481見て調べた口だから間違ってたらごめん。