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 r55736575 = b;
        double r55736576 = -r55736575;
        double r55736577 = r55736575 * r55736575;
        double r55736578 = 4.0;
        double r55736579 = a;
        double r55736580 = c;
        double r55736581 = r55736579 * r55736580;
        double r55736582 = r55736578 * r55736581;
        double r55736583 = r55736577 - r55736582;
        double r55736584 = sqrt(r55736583);
        double r55736585 = r55736576 - r55736584;
        double r55736586 = 2.0;
        double r55736587 = r55736586 * r55736579;
        double r55736588 = r55736585 / r55736587;
        return r55736588;
}

Reproduce

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

  :herbie-target
  (if (< b 0) (/ c (* a (/ (+ (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)))) (/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)))

  (/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)))