\left({\left(\frac{d}{h}\right)}^{\left(\frac{1}{2}\right)} \cdot {\left(\frac{d}{\ell}\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(1 - \left(\frac{1}{2} \cdot {\left(\frac{M \cdot D}{2 \cdot d}\right)}^{2}\right) \cdot \frac{h}{\ell}\right)double f(double d, double h, double l, double M, double D) {
double r214075 = d;
double r214076 = h;
double r214077 = r214075 / r214076;
double r214078 = 1.0;
double r214079 = 2.0;
double r214080 = r214078 / r214079;
double r214081 = pow(r214077, r214080);
double r214082 = l;
double r214083 = r214075 / r214082;
double r214084 = pow(r214083, r214080);
double r214085 = r214081 * r214084;
double r214086 = M;
double r214087 = D;
double r214088 = r214086 * r214087;
double r214089 = r214079 * r214075;
double r214090 = r214088 / r214089;
double r214091 = pow(r214090, r214079);
double r214092 = r214080 * r214091;
double r214093 = r214076 / r214082;
double r214094 = r214092 * r214093;
double r214095 = r214078 - r214094;
double r214096 = r214085 * r214095;
return r214096;
}
Please include this information when filing a bug report:
herbie shell --seed 2019323 +o rules:numerics
(FPCore (d h l M D)
:name "Henrywood and Agarwal, Equation (12)"
:precision binary64
(* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))))
| get-representation: Unknown representation real | L | C | |
|---|---|---|---|
| (unnamed) | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt | 65 | 3 |
| filter | /opt/racket-7.2/collects/racket/private/list.rkt | 256 | 2 |
| infer-splitpoints | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt | 34 | 0 |
| get-final-combination | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt | 369 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.2/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.2/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/private/more-scheme.rkt | 261 | 28 |