\cos^{-1} \left(\frac{1 - 5 \cdot \left(v \cdot v\right)}{v \cdot v - 1}\right)(FPCore (v) :precision binary64 (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
double code(double v) {
return acos((1.0 - (5.0 * (v * v))) / ((v * v) - 1.0));
}
Please include this information when filing a bug report:
herbie shell --seed 2021060
(FPCore (v)
:name "Falkner and Boettcher, Appendix B, 1"
:precision binary64
(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
| Failed to produce proof for (*.f64 (sqrt.f64 (sqrt.f64 (acos.f64 (/.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 v -1)) (+.f64 1 v))))) (sqrt.f64 (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))))) to (sqrt.f64 (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (+.f64 (*.f64 v v) -1)))) | L | C | |
|---|---|---|---|
| for-loop | /data/pavpan/nightlies/herbie/egg-generate-proof/src/core/simplify.rkt | 167 | 8 |
| (unnamed) | /data/pavpan/nightlies/herbie/egg-generate-proof/src/core/simplify.rkt | 149 | 6 |
| egraph-add-exprs | /data/pavpan/nightlies/herbie/egg-generate-proof/egg-herbie/main.rkt | 154 | 0 |
| with-egraph | /data/pavpan/nightlies/herbie/egg-generate-proof/egg-herbie/main.rkt | 74 | 0 |
| (unnamed) | /data/pavpan/nightlies/herbie/egg-generate-proof/src/core/simplify.rkt | 79 | 0 |
| simplify! | /data/pavpan/nightlies/herbie/egg-generate-proof/src/mainloop.rkt | 236 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/egg-generate-proof/src/mainloop.rkt | 360 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/egg-generate-proof/src/mainloop.rkt | 391 | 2 |
| run-improve | /data/pavpan/nightlies/herbie/egg-generate-proof/src/mainloop.rkt | 377 | 0 |
| (unnamed) | /data/pavpan/nightlies/herbie/egg-generate-proof/src/sandbox.rkt | 54 | 6 |
| run | /opt/racket-7.9/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk | /opt/racket-7.9/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.9/collects/racket/engine.rkt | 42 | 24 |