\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 r8211 = d;
double r8212 = h;
double r8213 = r8211 / r8212;
double r8214 = 1.0;
double r8215 = 2.0;
double r8216 = r8214 / r8215;
double r8217 = pow(r8213, r8216);
double r8218 = l;
double r8219 = r8211 / r8218;
double r8220 = pow(r8219, r8216);
double r8221 = r8217 * r8220;
double r8222 = M;
double r8223 = D;
double r8224 = r8222 * r8223;
double r8225 = r8215 * r8211;
double r8226 = r8224 / r8225;
double r8227 = pow(r8226, r8215);
double r8228 = r8216 * r8227;
double r8229 = r8212 / r8218;
double r8230 = r8228 * r8229;
double r8231 = r8214 - r8230;
double r8232 = r8221 * r8231;
return r8232;
}
Please include this information when filing a bug report:
herbie shell --seed 2019179
(FPCore (d h l M D)
:name "Henrywood and Agarwal, Equation (12)"
(* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l)))))
| result arity mismatch; expected number of values not received expected: 2 received: 1 in: local-binding form values...: 0 | L | C | |
|---|---|---|---|
| loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/extraction.rkt | 25 | 2 |
| (unnamed) | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 26 | 0 |
| simplify! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 217 | 0 |
| run-improve43 | /data/pavpan/nightlies/herbie/various-cleanup/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 |