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

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

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

y = x/y,

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

y x/y

(defun sqrt3 (x)
  (fixed-point (lambda (y) (/ x y))
                  1.0))

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