Локальные функции

(defun sqrt3 (x)
  (labels ((good-enough-p (guess)
             (<= (abs (- (square guess) x)) 0.001))
           (improve (guess)
             (average guess (/ x guess)))
           (sqrt-iter (guess)
             (if (good-enough-p guess)
                 guess
                 (sqrt-iter (improve guess)))))
    (sqrt-iter 1.0)))

Преимущества

• Блочная структура.
• Локальные функции не конфликтуют - у разных методов последовательных приближений собственная good-enough-p.
• Сокращение кода: x берётся из объемлющей функции.