\pi \cdot \ell - \frac{1}{F \cdot F} \cdot \tan \left(\pi \cdot \ell\right)double f(double F, double l) {
double r8040 = atan2(1.0, 0.0);
double r8041 = l;
double r8042 = r8040 * r8041;
double r8043 = 1.0;
double r8044 = F;
double r8045 = r8044 * r8044;
double r8046 = r8043 / r8045;
double r8047 = tan(r8042);
double r8048 = r8046 * r8047;
double r8049 = r8042 - r8048;
return r8049;
}
Please include this information when filing a bug report:
herbie shell --seed 2019194
(FPCore (F l)
:name "VandenBroeck and Keller, Equation (6)"
(- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))))
| get-representation: Unknown representation #f | L | C | |
|---|---|---|---|
| (unnamed) | /data/pavpan/nightlies/herbie/js-tweaks/src/core/localize.rkt | 23 | 13 |
| hash-ref! | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 376 | 2 |
| map | /opt/racket-7.0/collects/racket/private/map.rkt | 35 | 13 |
| parse-loop30 | /opt/racket-7.0/collects/racket/match/compiler.rkt | 418 | 15 |
| hash-ref! | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 376 | 2 |
| map | /opt/racket-7.0/collects/racket/private/map.rkt | 35 | 13 |
| parse-loop30 | /opt/racket-7.0/collects/racket/match/compiler.rkt | 418 | 15 |
| hash-ref! | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 376 | 2 |
| localize-error | /data/pavpan/nightlies/herbie/js-tweaks/src/core/localize.rkt | 61 | 0 |
| localize! | /data/pavpan/nightlies/herbie/js-tweaks/src/mainloop.rkt | 123 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/js-tweaks/src/mainloop.rkt | 323 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/js-tweaks/src/mainloop.rkt | 359 | 4 |
| run-improve47 | /data/pavpan/nightlies/herbie/js-tweaks/src/mainloop.rkt | 342 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |