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 r35869162 = 2.0;
        double r35869163 = t;
        double r35869164 = 3.0;
        double r35869165 = pow(r35869163, r35869164);
        double r35869166 = l;
        double r35869167 = r35869166 * r35869166;
        double r35869168 = r35869165 / r35869167;
        double r35869169 = k;
        double r35869170 = sin(r35869169);
        double r35869171 = r35869168 * r35869170;
        double r35869172 = tan(r35869169);
        double r35869173 = r35869171 * r35869172;
        double r35869174 = 1.0;
        double r35869175 = r35869169 / r35869163;
        double r35869176 = pow(r35869175, r35869162);
        double r35869177 = r35869174 + r35869176;
        double r35869178 = r35869177 - r35869174;
        double r35869179 = r35869173 * r35869178;
        double r35869180 = r35869162 / r35869179;
        return r35869180;
}

Reproduce

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