\frac{4}{\left(\left(3 \cdot \pi\right) \cdot \left(1 - v \cdot v\right)\right) \cdot \sqrt{2 - 6 \cdot \left(v \cdot v\right)}}double f(double v) {
double r84120 = 4.0;
double r84121 = 3.0;
double r84122 = atan2(1.0, 0.0);
double r84123 = r84121 * r84122;
double r84124 = 1.0;
double r84125 = v;
double r84126 = r84125 * r84125;
double r84127 = r84124 - r84126;
double r84128 = r84123 * r84127;
double r84129 = 2.0;
double r84130 = 6.0;
double r84131 = r84130 * r84126;
double r84132 = r84129 - r84131;
double r84133 = sqrt(r84132);
double r84134 = r84128 * r84133;
double r84135 = r84120 / r84134;
return r84135;
}
Please include this information when filing a bug report:
herbie shell --seed 2020045
(FPCore (v)
:name "Falkner and Boettcher, Equation (22+)"
:precision binary64
(/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))))
| hash-ref: no value found for key key: '(* #<enode 13(859)> #<enode 95(95)>) | 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 |