Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{2}{\left(\left(\frac{{t}^{3}}{\ell \cdot \ell} \cdot \sin k\right) \cdot \tan k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}\]
\frac{2}{\left(\left(\frac{{t}^{3}}{\ell \cdot \ell} \cdot \sin k\right) \cdot \tan k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}
double f(double t, double l, double k) {
        double r109417221 = 2.0;
        double r109417222 = t;
        double r109417223 = 3.0;
        double r109417224 = pow(r109417222, r109417223);
        double r109417225 = l;
        double r109417226 = r109417225 * r109417225;
        double r109417227 = r109417224 / r109417226;
        double r109417228 = k;
        double r109417229 = sin(r109417228);
        double r109417230 = r109417227 * r109417229;
        double r109417231 = tan(r109417228);
        double r109417232 = r109417230 * r109417231;
        double r109417233 = 1.0;
        double r109417234 = r109417228 / r109417222;
        double r109417235 = pow(r109417234, r109417221);
        double r109417236 = r109417233 + r109417235;
        double r109417237 = r109417236 + r109417233;
        double r109417238 = r109417232 * r109417237;
        double r109417239 = r109417221 / r109417238;
        return r109417239;
}

Reproduce

herbie shell --seed 2019125 +o rules:numerics
(FPCore (t l k)
  :name "Toniolo and Linder, Equation (10+)"
  (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))))