\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 r8137 = 2.0;
double r8138 = t;
double r8139 = 3.0;
double r8140 = pow(r8138, r8139);
double r8141 = l;
double r8142 = r8141 * r8141;
double r8143 = r8140 / r8142;
double r8144 = k;
double r8145 = sin(r8144);
double r8146 = r8143 * r8145;
double r8147 = tan(r8144);
double r8148 = r8146 * r8147;
double r8149 = 1.0;
double r8150 = r8144 / r8138;
double r8151 = pow(r8150, r8137);
double r8152 = r8149 + r8151;
double r8153 = r8152 - r8149;
double r8154 = r8148 * r8153;
double r8155 = r8137 / r8154;
return r8155;
}
Please include this information when filing a bug report:
herbie shell --seed 2019191
(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 |