\[w0 \cdot \sqrt{1 - {\left(\frac{M \cdot D}{2 \cdot d}\right)}^{2} \cdot \frac{h}{\ell}}\]

w0 \cdot \sqrt{1 - {\left(\frac{M \cdot D}{2 \cdot d}\right)}^{2} \cdot \frac{h}{\ell}}

double f(double w0, double M, double D, double h, double l, double d) {
        double r8419 = w0;
        double r8420 = 1.0;
        double r8421 = M;
        double r8422 = D;
        double r8423 = r8421 * r8422;
        double r8424 = 2.0;
        double r8425 = d;
        double r8426 = r8424 * r8425;
        double r8427 = r8423 / r8426;
        double r8428 = pow(r8427, r8424);
        double r8429 = h;
        double r8430 = l;
        double r8431 = r8429 / r8430;
        double r8432 = r8428 * r8431;
        double r8433 = r8420 - r8432;
        double r8434 = sqrt(r8433);
        double r8435 = r8419 * r8434;
        return r8435;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019305 
(FPCore (w0 M D h l d)
  :name "Henrywood and Agarwal, Equation (9a)"
  :precision binary64
  (* w0 (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))))))

Backtrace

exact?: contract violation expected: number? given: 'h5		L	C
egg-parsed->expr	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	65	0
for-loop	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	70	6
egg-parsed->expr	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	65	0
(unnamed)	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/simplify.rkt	49	8
egraph-add-exprs	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	122	0
egraph-run	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	55	0
(unnamed)	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/simplify.rkt	38	0
simplify!	/data/pavpan/nightlies/herbie/eggmath-testversion/src/mainloop.rkt	223	0
run-improve47	/data/pavpan/nightlies/herbie/eggmath-testversion/src/mainloop.rkt	345	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