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 r2825383 = 2.0;
        double r2825384 = t;
        double r2825385 = 3.0;
        double r2825386 = pow(r2825384, r2825385);
        double r2825387 = l;
        double r2825388 = r2825387 * r2825387;
        double r2825389 = r2825386 / r2825388;
        double r2825390 = k;
        double r2825391 = sin(r2825390);
        double r2825392 = r2825389 * r2825391;
        double r2825393 = tan(r2825390);
        double r2825394 = r2825392 * r2825393;
        double r2825395 = 1.0;
        double r2825396 = r2825390 / r2825384;
        double r2825397 = pow(r2825396, r2825383);
        double r2825398 = r2825395 + r2825397;
        double r2825399 = r2825398 - r2825395;
        double r2825400 = r2825394 * r2825399;
        double r2825401 = r2825383 / r2825400;
        return r2825401;
}

Reproduce

herbie shell --seed 2019130 
(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))))