Более того, просто поиск нуля функции монотонной на интервале -неприменимо. Так как одно измерение дает максимум один бит информации - ошибка в исследованном участке кода или в неисследованном. Это эквивалентно классической задаче поиска в упорядоченной последовательности с операцией >=. Бинарный поиск здесь оптимален.