Ну он состоит из трех частей.
1) Получить приближение корня.
2) Если оно слишком большое, то уменьшить.
3) Если оно слишком маленькое, то уменьшить.
Видимо тебя сбивает, что 2 и 3 часть идут подряд.
В реальности один из этих циклов вообще ни разу не будет выполнен.