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 r67378481 = b;
        double r67378482 = -r67378481;
        double r67378483 = r67378481 * r67378481;
        double r67378484 = 4.0;
        double r67378485 = a;
        double r67378486 = r67378484 * r67378485;
        double r67378487 = c;
        double r67378488 = r67378486 * r67378487;
        double r67378489 = r67378483 - r67378488;
        double r67378490 = sqrt(r67378489);
        double r67378491 = r67378482 + r67378490;
        double r67378492 = 2.0;
        double r67378493 = r67378492 * r67378485;
        double r67378494 = r67378491 / r67378493;
        return r67378494;
}

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