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 r1771638 = 2.0;
        double r1771639 = t;
        double r1771640 = 3.0;
        double r1771641 = pow(r1771639, r1771640);
        double r1771642 = l;
        double r1771643 = r1771642 * r1771642;
        double r1771644 = r1771641 / r1771643;
        double r1771645 = k;
        double r1771646 = sin(r1771645);
        double r1771647 = r1771644 * r1771646;
        double r1771648 = tan(r1771645);
        double r1771649 = r1771647 * r1771648;
        double r1771650 = 1.0;
        double r1771651 = r1771645 / r1771639;
        double r1771652 = pow(r1771651, r1771638);
        double r1771653 = r1771650 + r1771652;
        double r1771654 = r1771653 + r1771650;
        double r1771655 = r1771649 * r1771654;
        double r1771656 = r1771638 / r1771655;
        return r1771656;
}

Reproduce

herbie shell --seed 2019194 
(FPCore (t l k)
  :name "Toniolo and Linder, Equation (10+)"
  (/ 2.0 (* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))))