\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 r8145 = 2.0;
double r8146 = t;
double r8147 = 3.0;
double r8148 = pow(r8146, r8147);
double r8149 = l;
double r8150 = r8149 * r8149;
double r8151 = r8148 / r8150;
double r8152 = k;
double r8153 = sin(r8152);
double r8154 = r8151 * r8153;
double r8155 = tan(r8152);
double r8156 = r8154 * r8155;
double r8157 = 1.0;
double r8158 = r8152 / r8146;
double r8159 = pow(r8158, r8145);
double r8160 = r8157 + r8159;
double r8161 = r8160 - r8157;
double r8162 = r8156 * r8161;
double r8163 = r8145 / r8162;
return r8163;
}
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 |