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 r62467680 = b;
        double r62467681 = -r62467680;
        double r62467682 = r62467680 * r62467680;
        double r62467683 = 4.0;
        double r62467684 = a;
        double r62467685 = r62467683 * r62467684;
        double r62467686 = c;
        double r62467687 = r62467685 * r62467686;
        double r62467688 = r62467682 - r62467687;
        double r62467689 = sqrt(r62467688);
        double r62467690 = r62467681 + r62467689;
        double r62467691 = 2.0;
        double r62467692 = r62467691 * r62467684;
        double r62467693 = r62467690 / r62467692;
        return r62467693;
}

Reproduce

herbie shell --seed 2019119 +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)))