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 r55117844 = b;
        double r55117845 = -r55117844;
        double r55117846 = r55117844 * r55117844;
        double r55117847 = 4.0;
        double r55117848 = a;
        double r55117849 = r55117847 * r55117848;
        double r55117850 = c;
        double r55117851 = r55117849 * r55117850;
        double r55117852 = r55117846 - r55117851;
        double r55117853 = sqrt(r55117852);
        double r55117854 = r55117845 + r55117853;
        double r55117855 = 2.0;
        double r55117856 = r55117855 * r55117848;
        double r55117857 = r55117854 / r55117856;
        return r55117857;
}

Reproduce

herbie shell --seed 2019104 +o rules:numerics
(FPCore (a b c)
  :name "The quadratic formula (r1)"

  :herbie-target
  (if (< b 0) (/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ c (* a (/ (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)))))

  (/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)))