\[\frac{\left(-b\right) + \sqrt{b \cdot b - \left(3 \cdot a\right) \cdot c}}{3 \cdot a}\]
\frac{\left(-b\right) + \sqrt{b \cdot b - \left(3 \cdot a\right) \cdot c}}{3 \cdot a}
double f(double a, double b, double c) {
        double r8149752 = b;
        double r8149753 = -r8149752;
        double r8149754 = r8149752 * r8149752;
        double r8149755 = 3.0;
        double r8149756 = a;
        double r8149757 = r8149755 * r8149756;
        double r8149758 = c;
        double r8149759 = r8149757 * r8149758;
        double r8149760 = r8149754 - r8149759;
        double r8149761 = sqrt(r8149760);
        double r8149762 = r8149753 + r8149761;
        double r8149763 = r8149762 / r8149757;
        return r8149763;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019173 +o rules:numerics
(FPCore (a b c)
  :name "Cubic critical"
  (/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a)))

Backtrace

hash-ref: no value found for key key: #<enode 408(408)>LC
for-loop/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt1972
extractor-extract/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt1960
for-loop/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt352
(unnamed)/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt260
simplify!/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt2170
run-iter!/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt3200
for-loop/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt3544
run-improve43/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt3390
(unnamed)/opt/racket-7.0/collects/racket/private/more-scheme.rkt26128
run/opt/racket-7.0/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.0/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.0/collects/racket/private/more-scheme.rkt26128