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 r68735095 = 2.0;
        double r68735096 = t;
        double r68735097 = 3.0;
        double r68735098 = pow(r68735096, r68735097);
        double r68735099 = l;
        double r68735100 = r68735099 * r68735099;
        double r68735101 = r68735098 / r68735100;
        double r68735102 = k;
        double r68735103 = sin(r68735102);
        double r68735104 = r68735101 * r68735103;
        double r68735105 = tan(r68735102);
        double r68735106 = r68735104 * r68735105;
        double r68735107 = 1.0;
        double r68735108 = r68735102 / r68735096;
        double r68735109 = pow(r68735108, r68735095);
        double r68735110 = r68735107 + r68735109;
        double r68735111 = r68735110 - r68735107;
        double r68735112 = r68735106 * r68735111;
        double r68735113 = r68735095 / r68735112;
        return r68735113;
}

Reproduce

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