Вроде как разобрался с алгоритмом отделения действительных корней. Ссылку я на него приводил выше, но вкратце опишу тут:
Если мы имеем нелинейное уравнение с действительными коэффициентами, вида

, то его корни лежат в кольце

, где

Тем самым этот бублик разбивает нашу ось абсцисс на два отрезка справа и слева от нуля. Затем производим сжатие этих отрезков и отыскивание корня с заданной точностью