\frac{2}{\left(\left(\frac{{t}^{3}}{\ell \cdot \ell} \cdot \sin k\right) \cdot \tan k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) - 1\right)}double f(double t, double l, double k) {
double r5766298 = 2.0;
double r5766299 = t;
double r5766300 = 3.0;
double r5766301 = pow(r5766299, r5766300);
double r5766302 = l;
double r5766303 = r5766302 * r5766302;
double r5766304 = r5766301 / r5766303;
double r5766305 = k;
double r5766306 = sin(r5766305);
double r5766307 = r5766304 * r5766306;
double r5766308 = tan(r5766305);
double r5766309 = r5766307 * r5766308;
double r5766310 = 1.0;
double r5766311 = r5766305 / r5766299;
double r5766312 = pow(r5766311, r5766298);
double r5766313 = r5766310 + r5766312;
double r5766314 = r5766313 - r5766310;
double r5766315 = r5766309 * r5766314;
double r5766316 = r5766298 / r5766315;
return r5766316;
}
Please include this information when filing a bug report:
herbie shell --seed 2019173
(FPCore (t l k)
:name "Toniolo and Linder, Equation (10-)"
(/ 2.0 (* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (- (+ 1.0 (pow (/ k t) 2.0)) 1.0))))
| hash-ref: no value found for key key: #<enode 1378(1378)> | L | C | |
|---|---|---|---|
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 197 | 2 |
| extractor-extract | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 196 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 35 | 2 |
| (unnamed) | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 26 | 0 |
| simplify! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 217 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 320 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 354 | 4 |
| run-improve43 | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 339 | 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 |