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 r48583906 = b;
        double r48583907 = 0.0;
        bool r48583908 = r48583906 >= r48583907;
        double r48583909 = 2.0;
        double r48583910 = c;
        double r48583911 = r48583909 * r48583910;
        double r48583912 = -r48583906;
        double r48583913 = r48583906 * r48583906;
        double r48583914 = 4.0;
        double r48583915 = a;
        double r48583916 = r48583914 * r48583915;
        double r48583917 = r48583916 * r48583910;
        double r48583918 = r48583913 - r48583917;
        double r48583919 = sqrt(r48583918);
        double r48583920 = r48583912 - r48583919;
        double r48583921 = r48583911 / r48583920;
        double r48583922 = r48583912 + r48583919;
        double r48583923 = r48583909 * r48583915;
        double r48583924 = r48583922 / r48583923;
        double r48583925 = r48583908 ? r48583921 : r48583924;
        return r48583925;
}

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))))