Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{\left(-b\right) + \sqrt{b \cdot b - 4 \cdot \left(a \cdot c\right)}}{2 \cdot a}\]
\frac{\left(-b\right) + \sqrt{b \cdot b - 4 \cdot \left(a \cdot c\right)}}{2 \cdot a}
double f(double a, double b, double c) {
        double r53171335 = b;
        double r53171336 = -r53171335;
        double r53171337 = r53171335 * r53171335;
        double r53171338 = 4.0;
        double r53171339 = a;
        double r53171340 = c;
        double r53171341 = r53171339 * r53171340;
        double r53171342 = r53171338 * r53171341;
        double r53171343 = r53171337 - r53171342;
        double r53171344 = sqrt(r53171343);
        double r53171345 = r53171336 + r53171344;
        double r53171346 = 2.0;
        double r53171347 = r53171346 * r53171339;
        double r53171348 = r53171345 / r53171347;
        return r53171348;
}

Reproduce

herbie shell --seed 2019107 +o rules:numerics
(FPCore (a b c)
  :name "quadp (p42, positive)"

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