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 r56703739 = b;
        double r56703740 = -r56703739;
        double r56703741 = r56703739 * r56703739;
        double r56703742 = 4.0;
        double r56703743 = a;
        double r56703744 = r56703742 * r56703743;
        double r56703745 = c;
        double r56703746 = r56703744 * r56703745;
        double r56703747 = r56703741 - r56703746;
        double r56703748 = sqrt(r56703747);
        double r56703749 = r56703740 + r56703748;
        double r56703750 = 2.0;
        double r56703751 = r56703750 * r56703743;
        double r56703752 = r56703749 / r56703751;
        return r56703752;
}

Reproduce

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