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 r33153427 = 2.0;
        double r33153428 = t;
        double r33153429 = 3.0;
        double r33153430 = pow(r33153428, r33153429);
        double r33153431 = l;
        double r33153432 = r33153431 * r33153431;
        double r33153433 = r33153430 / r33153432;
        double r33153434 = k;
        double r33153435 = sin(r33153434);
        double r33153436 = r33153433 * r33153435;
        double r33153437 = tan(r33153434);
        double r33153438 = r33153436 * r33153437;
        double r33153439 = 1.0;
        double r33153440 = r33153434 / r33153428;
        double r33153441 = pow(r33153440, r33153427);
        double r33153442 = r33153439 + r33153441;
        double r33153443 = r33153442 - r33153439;
        double r33153444 = r33153438 * r33153443;
        double r33153445 = r33153427 / r33153444;
        return r33153445;
}

Reproduce

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