\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 r157018 = d;
double r157019 = h;
double r157020 = r157018 / r157019;
double r157021 = 1.0;
double r157022 = 2.0;
double r157023 = r157021 / r157022;
double r157024 = pow(r157020, r157023);
double r157025 = l;
double r157026 = r157018 / r157025;
double r157027 = pow(r157026, r157023);
double r157028 = r157024 * r157027;
double r157029 = M;
double r157030 = D;
double r157031 = r157029 * r157030;
double r157032 = r157022 * r157018;
double r157033 = r157031 / r157032;
double r157034 = pow(r157033, r157022);
double r157035 = r157023 * r157034;
double r157036 = r157019 / r157025;
double r157037 = r157035 * r157036;
double r157038 = r157021 - r157037;
double r157039 = r157028 * r157038;
return r157039;
}
Please include this information when filing a bug report:
herbie shell --seed 2019323
(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 |