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 r39878717 = b;
        double r39878718 = -r39878717;
        double r39878719 = r39878717 * r39878717;
        double r39878720 = 4.0;
        double r39878721 = a;
        double r39878722 = r39878720 * r39878721;
        double r39878723 = c;
        double r39878724 = r39878722 * r39878723;
        double r39878725 = r39878719 - r39878724;
        double r39878726 = sqrt(r39878725);
        double r39878727 = r39878718 + r39878726;
        double r39878728 = 2.0;
        double r39878729 = r39878728 * r39878721;
        double r39878730 = r39878727 / r39878729;
        return r39878730;
}

Reproduce

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