Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{\ell \cdot \ell}{Om}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^{2}\right) \cdot \left(U - U*\right)\right)}\]
\sqrt{\left(\left(2 \cdot n\right) \cdot U\right) \cdot \left(\left(t - 2 \cdot \frac{\ell \cdot \ell}{Om}\right) - \left(n \cdot {\left(\frac{\ell}{Om}\right)}^{2}\right) \cdot \left(U - U*\right)\right)}
double f(double n, double U, double t, double l, double Om, double U_) {
        double r87591380 = 2.0;
        double r87591381 = n;
        double r87591382 = r87591380 * r87591381;
        double r87591383 = U;
        double r87591384 = r87591382 * r87591383;
        double r87591385 = t;
        double r87591386 = l;
        double r87591387 = r87591386 * r87591386;
        double r87591388 = Om;
        double r87591389 = r87591387 / r87591388;
        double r87591390 = r87591380 * r87591389;
        double r87591391 = r87591385 - r87591390;
        double r87591392 = r87591386 / r87591388;
        double r87591393 = pow(r87591392, r87591380);
        double r87591394 = r87591381 * r87591393;
        double r87591395 = U_;
        double r87591396 = r87591383 - r87591395;
        double r87591397 = r87591394 * r87591396;
        double r87591398 = r87591391 - r87591397;
        double r87591399 = r87591384 * r87591398;
        double r87591400 = sqrt(r87591399);
        return r87591400;
}

Reproduce

herbie shell --seed 2019125 +o rules:numerics
(FPCore (n U t l Om U*)
  :name "Toniolo and Linder, Equation (13)"
  (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))))