Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{\left(-b\right) + \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}{2 \cdot a}\]
\frac{\left(-b\right) + \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}{2 \cdot a}
double f(double a, double b, double c) {
        double r39605145 = b;
        double r39605146 = -r39605145;
        double r39605147 = r39605145 * r39605145;
        double r39605148 = 4.0;
        double r39605149 = a;
        double r39605150 = r39605148 * r39605149;
        double r39605151 = c;
        double r39605152 = r39605150 * r39605151;
        double r39605153 = r39605147 - r39605152;
        double r39605154 = sqrt(r39605153);
        double r39605155 = r39605146 + r39605154;
        double r39605156 = 2.0;
        double r39605157 = r39605156 * r39605149;
        double r39605158 = r39605155 / r39605157;
        return r39605158;
}

Reproduce

herbie shell --seed 2019119 +o rules:numerics
(FPCore (a b c)
  :name "Quadratic roots, full range"
  (/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)))