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 r84879242 = b;
        double r84879243 = -r84879242;
        double r84879244 = r84879242 * r84879242;
        double r84879245 = 4.0;
        double r84879246 = a;
        double r84879247 = r84879245 * r84879246;
        double r84879248 = c;
        double r84879249 = r84879247 * r84879248;
        double r84879250 = r84879244 - r84879249;
        double r84879251 = sqrt(r84879250);
        double r84879252 = r84879243 + r84879251;
        double r84879253 = 2.0;
        double r84879254 = r84879253 * r84879246;
        double r84879255 = r84879252 / r84879254;
        return r84879255;
}

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)))