Use the --timeout flag to change the timeout.
\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 r13045184 = d;
double r13045185 = h;
double r13045186 = r13045184 / r13045185;
double r13045187 = 1.0;
double r13045188 = 2.0;
double r13045189 = r13045187 / r13045188;
double r13045190 = pow(r13045186, r13045189);
double r13045191 = l;
double r13045192 = r13045184 / r13045191;
double r13045193 = pow(r13045192, r13045189);
double r13045194 = r13045190 * r13045193;
double r13045195 = M;
double r13045196 = D;
double r13045197 = r13045195 * r13045196;
double r13045198 = r13045188 * r13045184;
double r13045199 = r13045197 / r13045198;
double r13045200 = pow(r13045199, r13045188);
double r13045201 = r13045189 * r13045200;
double r13045202 = r13045185 / r13045191;
double r13045203 = r13045201 * r13045202;
double r13045204 = r13045187 - r13045203;
double r13045205 = r13045194 * r13045204;
return r13045205;
}
herbie shell --seed 2019143
(FPCore (d h l M D)
:name "Henrywood and Agarwal, Equation (12)"
(* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))))