Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\begin{array}{l} \mathbf{if}\;b \ge 0:\\ \;\;\;\;\frac{2 \cdot c}{\left(-b\right) - \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}\\ \mathbf{else}:\\ \;\;\;\;\frac{\left(-b\right) + \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}{2 \cdot a}\\ \end{array}\]
\begin{array}{l}
\mathbf{if}\;b \ge 0:\\
\;\;\;\;\frac{2 \cdot c}{\left(-b\right) - \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}\\

\mathbf{else}:\\
\;\;\;\;\frac{\left(-b\right) + \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}{2 \cdot a}\\

\end{array}
double f(double a, double b, double c) {
        double r49088545 = b;
        double r49088546 = 0.0;
        bool r49088547 = r49088545 >= r49088546;
        double r49088548 = 2.0;
        double r49088549 = c;
        double r49088550 = r49088548 * r49088549;
        double r49088551 = -r49088545;
        double r49088552 = r49088545 * r49088545;
        double r49088553 = 4.0;
        double r49088554 = a;
        double r49088555 = r49088553 * r49088554;
        double r49088556 = r49088555 * r49088549;
        double r49088557 = r49088552 - r49088556;
        double r49088558 = sqrt(r49088557);
        double r49088559 = r49088551 - r49088558;
        double r49088560 = r49088550 / r49088559;
        double r49088561 = r49088551 + r49088558;
        double r49088562 = r49088548 * r49088554;
        double r49088563 = r49088561 / r49088562;
        double r49088564 = r49088547 ? r49088560 : r49088563;
        return r49088564;
}

Reproduce

herbie shell --seed 2019153 +o rules:numerics
(FPCore (a b c)
  :name "jeff quadratic root 2"
  (if (>= b 0) (/ (* 2 c) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))))