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 r165161934 = 2.0;
        double r165161935 = n;
        double r165161936 = r165161934 * r165161935;
        double r165161937 = U;
        double r165161938 = r165161936 * r165161937;
        double r165161939 = t;
        double r165161940 = l;
        double r165161941 = r165161940 * r165161940;
        double r165161942 = Om;
        double r165161943 = r165161941 / r165161942;
        double r165161944 = r165161934 * r165161943;
        double r165161945 = r165161939 - r165161944;
        double r165161946 = r165161940 / r165161942;
        double r165161947 = pow(r165161946, r165161934);
        double r165161948 = r165161935 * r165161947;
        double r165161949 = U_;
        double r165161950 = r165161937 - r165161949;
        double r165161951 = r165161948 * r165161950;
        double r165161952 = r165161945 - r165161951;
        double r165161953 = r165161938 * r165161952;
        double r165161954 = sqrt(r165161953);
        return r165161954;
}

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*))))))