\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 r116344 = 4.0;
double r116345 = 3.0;
double r116346 = atan2(1.0, 0.0);
double r116347 = r116345 * r116346;
double r116348 = 1.0;
double r116349 = v;
double r116350 = r116349 * r116349;
double r116351 = r116348 - r116350;
double r116352 = r116347 * r116351;
double r116353 = 2.0;
double r116354 = 6.0;
double r116355 = r116354 * r116350;
double r116356 = r116353 - r116355;
double r116357 = sqrt(r116356);
double r116358 = r116352 * r116357;
double r116359 = r116344 / r116358;
return r116359;
}
Please include this information when filing a bug report:
herbie shell --seed 2020045 +o rules:numerics
(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 103(103)> #<enode 4(932)>) | 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 |