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 r68418713 = 2.0;
        double r68418714 = t;
        double r68418715 = 3.0;
        double r68418716 = pow(r68418714, r68418715);
        double r68418717 = l;
        double r68418718 = r68418717 * r68418717;
        double r68418719 = r68418716 / r68418718;
        double r68418720 = k;
        double r68418721 = sin(r68418720);
        double r68418722 = r68418719 * r68418721;
        double r68418723 = tan(r68418720);
        double r68418724 = r68418722 * r68418723;
        double r68418725 = 1.0;
        double r68418726 = r68418720 / r68418714;
        double r68418727 = pow(r68418726, r68418713);
        double r68418728 = r68418725 + r68418727;
        double r68418729 = r68418728 - r68418725;
        double r68418730 = r68418724 * r68418729;
        double r68418731 = r68418713 / r68418730;
        return r68418731;
}

Reproduce

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