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 r184950299 = d;
double r184950300 = h;
double r184950301 = r184950299 / r184950300;
double r184950302 = 1.0;
double r184950303 = 2.0;
double r184950304 = r184950302 / r184950303;
double r184950305 = pow(r184950301, r184950304);
double r184950306 = l;
double r184950307 = r184950299 / r184950306;
double r184950308 = pow(r184950307, r184950304);
double r184950309 = r184950305 * r184950308;
double r184950310 = M;
double r184950311 = D;
double r184950312 = r184950310 * r184950311;
double r184950313 = r184950303 * r184950299;
double r184950314 = r184950312 / r184950313;
double r184950315 = pow(r184950314, r184950303);
double r184950316 = r184950304 * r184950315;
double r184950317 = r184950300 / r184950306;
double r184950318 = r184950316 * r184950317;
double r184950319 = r184950302 - r184950318;
double r184950320 = r184950309 * r184950319;
return r184950320;
}
herbie shell --seed 2019128
(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)))))