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 r67400942 = b;
        double r67400943 = -r67400942;
        double r67400944 = r67400942 * r67400942;
        double r67400945 = 4.0;
        double r67400946 = a;
        double r67400947 = r67400945 * r67400946;
        double r67400948 = c;
        double r67400949 = r67400947 * r67400948;
        double r67400950 = r67400944 - r67400949;
        double r67400951 = sqrt(r67400950);
        double r67400952 = r67400943 + r67400951;
        double r67400953 = 2.0;
        double r67400954 = r67400953 * r67400946;
        double r67400955 = r67400952 / r67400954;
        return r67400955;
}

Reproduce

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