SQRT - наивная реализация через FIXED-POINT

Задача: найти такое y, что y² = x.

Переведя уравнение в эквивалентную форму

y = x/y,

сводим её к поиску неподвижной точки функции

y x/y

(defun sqrt4 (x)
  (fixed-point (lambda (y) (/ x y))
                1.0))
(sqrt4 2.0)                 ; переполнение стека

Не сходится: приближения прыгают вокруг решения: 2.0, 1.0, 2.0, 1.0...