\frac{c0}{2 \cdot w} \cdot \left(\frac{c0 \cdot \left(d \cdot d\right)}{\left(w \cdot h\right) \cdot \left(D \cdot D\right)} + \sqrt{\frac{c0 \cdot \left(d \cdot d\right)}{\left(w \cdot h\right) \cdot \left(D \cdot D\right)} \cdot \frac{c0 \cdot \left(d \cdot d\right)}{\left(w \cdot h\right) \cdot \left(D \cdot D\right)} - M \cdot M}\right)double f(double c0, double w, double h, double D, double d, double M) {
double r8428 = c0;
double r8429 = 2.0;
double r8430 = w;
double r8431 = r8429 * r8430;
double r8432 = r8428 / r8431;
double r8433 = d;
double r8434 = r8433 * r8433;
double r8435 = r8428 * r8434;
double r8436 = h;
double r8437 = r8430 * r8436;
double r8438 = D;
double r8439 = r8438 * r8438;
double r8440 = r8437 * r8439;
double r8441 = r8435 / r8440;
double r8442 = r8441 * r8441;
double r8443 = M;
double r8444 = r8443 * r8443;
double r8445 = r8442 - r8444;
double r8446 = sqrt(r8445);
double r8447 = r8441 + r8446;
double r8448 = r8432 * r8447;
return r8448;
}
Please include this information when filing a bug report:
herbie shell --seed 2019191
(FPCore (c0 w h D d M)
:name "Henrywood and Agarwal, Equation (13)"
(* (/ c0 (* 2.0 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))))
| 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 |