SQRT через FIXED-POINT

Заставим приближения изменяться не так сильно. Поскольку ответ всегда находится между текущим значением y и x/y, мы можем взять новое приближение, не настолько далекое от y, как x/y.
Применим "торможение усреднением" — возьмём среднее между ними:

y 1/2 (y + x/y)

(defun sqrt4 (x)
  (fixed-point (lambda (y) (average y (/ x y)))
               1.0))