\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 r8184 = 2.0;
double r8185 = t;
double r8186 = 3.0;
double r8187 = pow(r8185, r8186);
double r8188 = l;
double r8189 = r8188 * r8188;
double r8190 = r8187 / r8189;
double r8191 = k;
double r8192 = sin(r8191);
double r8193 = r8190 * r8192;
double r8194 = tan(r8191);
double r8195 = r8193 * r8194;
double r8196 = 1.0;
double r8197 = r8191 / r8185;
double r8198 = pow(r8197, r8184);
double r8199 = r8196 + r8198;
double r8200 = r8199 + r8196;
double r8201 = r8195 * r8200;
double r8202 = r8184 / r8201;
return r8202;
}
Please include this information when filing a bug report:
herbie shell --seed 2019191 +o rules:numerics
(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))))
| get-representation: Unknown representation #f | L | C | |
|---|---|---|---|
| loop | /data/pavpan/nightlies/herbie/interface2/src/points.rkt | 122 | 4 |
| prepare-points | /data/pavpan/nightlies/herbie/interface2/src/points.rkt | 146 | 0 |
| setup-prog!34 | /data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt | 67 | 0 |
| run-improve43 | /data/pavpan/nightlies/herbie/interface2/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 |