`single_positive_root_of_square_equation(0, 0.25, 10)` fails with `mathlib.C:227: assertion 'x2 >= 0.0' failed in single_positive_root_of_square_equation`
single_positive_root_of_square_equation(0, 0.25, 10)fails with
mathlib.C:227: assertion 'x2 >= 0.0' failed in single_positive_root_of_square_equation