\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 r16097 = b;
double r16098 = -r16097;
double r16099 = r16097 * r16097;
double r16100 = 3.0;
double r16101 = a;
double r16102 = r16100 * r16101;
double r16103 = c;
double r16104 = r16102 * r16103;
double r16105 = r16099 - r16104;
double r16106 = sqrt(r16105);
double r16107 = r16098 + r16106;
double r16108 = r16107 / r16102;
return r16108;
}
Please include this information when filing a bug report:
herbie shell --seed 2020045 +o rules:numerics
(FPCore (a b c)
:name "Cubic critical"
:precision binary64
(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a)))
| hash-ref: no value found for key key: '(pow #<enode 74(74)> #<enode 0(54)>) | L | C | |
|---|---|---|---|
| for-loop | /data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/egraph.rkt | 270 | 6 |
| update-leader! | /data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/egraph.rkt | 265 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/main.rkt | 77 | 2 |
| prune-phase | /data/pavpan/nightlies/herbie/simplify-regraph-rebuilding/regraph/main.rkt | 74 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt | 80 | 4 |
| for-loop | /data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt | 76 | 2 |
| (unnamed) | /data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt | 56 | 0 |
| (unnamed) | /data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/core/simplify.rkt | 38 | 0 |
| simplify! | /data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt | 224 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt | 327 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt | 365 | 4 |
| run-improve47 | /data/pavpan/nightlies/herbie/simplify-regraph-rebuilding-2/src/mainloop.rkt | 346 | 0 |
| .../more-scheme.rkt:261:28 | unknown | ||
| run | /opt/racket-7.5/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.5/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.5/collects/racket/private/more-scheme.rkt | 261 | 28 |