\[\frac{\left(-b_2\right) - \sqrt{b_2 \cdot b_2 - a \cdot c}}{a}\]

\frac{\left(-b_2\right) - \sqrt{b_2 \cdot b_2 - a \cdot c}}{a}

double f(double a, double b_2, double c) {
        double r62202 = b_2;
        double r62203 = -r62202;
        double r62204 = r62202 * r62202;
        double r62205 = a;
        double r62206 = c;
        double r62207 = r62205 * r62206;
        double r62208 = r62204 - r62207;
        double r62209 = sqrt(r62208);
        double r62210 = r62203 - r62209;
        double r62211 = r62210 / r62205;
        return r62211;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 350497007 
(FPCore (a b_2 c)
  :name "quad2m (problem 3.2.1, negative)"
  :precision binary64
  (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))

Backtrace

hash-ref: no value found for key key: +inf.0		L	C
for-loop	/home/p92/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	70	6
egg-parsed->expr	/home/p92/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	65	0
for-loop	/home/p92/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	70	6
egg-parsed->expr	/home/p92/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	65	0
for-loop	/home/p92/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	70	6
egg-parsed->expr	/home/p92/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	65	0
for-loop	/home/p92/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	70	6
egg-parsed->expr	/home/p92/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	65	0
(unnamed)	/home/p92/nightlies/herbie/eggmath-testversion/src/core/simplify.rkt	49	8
egraph-add-exprs	/home/p92/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	122	0
egraph-run	/home/p92/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	55	0
(unnamed)	/home/p92/nightlies/herbie/eggmath-testversion/src/core/simplify.rkt	38	0
(unnamed)	/home/p92/nightlies/herbie/eggmath-testversion/src/core/simplify.rkt	25	0
get-final-combination	/home/p92/nightlies/herbie/eggmath-testversion/src/mainloop.rkt	370	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28