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 r67341652 = 2.0;
        double r67341653 = t;
        double r67341654 = 3.0;
        double r67341655 = pow(r67341653, r67341654);
        double r67341656 = l;
        double r67341657 = r67341656 * r67341656;
        double r67341658 = r67341655 / r67341657;
        double r67341659 = k;
        double r67341660 = sin(r67341659);
        double r67341661 = r67341658 * r67341660;
        double r67341662 = tan(r67341659);
        double r67341663 = r67341661 * r67341662;
        double r67341664 = 1.0;
        double r67341665 = r67341659 / r67341653;
        double r67341666 = pow(r67341665, r67341652);
        double r67341667 = r67341664 + r67341666;
        double r67341668 = r67341667 - r67341664;
        double r67341669 = r67341663 * r67341668;
        double r67341670 = r67341652 / r67341669;
        return r67341670;
}

Reproduce

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