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 r97405041 = 2.0;
        double r97405042 = t;
        double r97405043 = 3.0;
        double r97405044 = pow(r97405042, r97405043);
        double r97405045 = l;
        double r97405046 = r97405045 * r97405045;
        double r97405047 = r97405044 / r97405046;
        double r97405048 = k;
        double r97405049 = sin(r97405048);
        double r97405050 = r97405047 * r97405049;
        double r97405051 = tan(r97405048);
        double r97405052 = r97405050 * r97405051;
        double r97405053 = 1.0;
        double r97405054 = r97405048 / r97405042;
        double r97405055 = pow(r97405054, r97405041);
        double r97405056 = r97405053 + r97405055;
        double r97405057 = r97405056 + r97405053;
        double r97405058 = r97405052 * r97405057;
        double r97405059 = r97405041 / r97405058;
        return r97405059;
}

Reproduce

herbie shell --seed 2019128 +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))))