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 r36711047 = b;
        double r36711048 = -r36711047;
        double r36711049 = r36711047 * r36711047;
        double r36711050 = 4.0;
        double r36711051 = a;
        double r36711052 = r36711050 * r36711051;
        double r36711053 = c;
        double r36711054 = r36711052 * r36711053;
        double r36711055 = r36711049 - r36711054;
        double r36711056 = sqrt(r36711055);
        double r36711057 = r36711048 + r36711056;
        double r36711058 = 2.0;
        double r36711059 = r36711058 * r36711051;
        double r36711060 = r36711057 / r36711059;
        return r36711060;
}

Reproduce

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