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 r76496603 = 2.0;
        double r76496604 = t;
        double r76496605 = 3.0;
        double r76496606 = pow(r76496604, r76496605);
        double r76496607 = l;
        double r76496608 = r76496607 * r76496607;
        double r76496609 = r76496606 / r76496608;
        double r76496610 = k;
        double r76496611 = sin(r76496610);
        double r76496612 = r76496609 * r76496611;
        double r76496613 = tan(r76496610);
        double r76496614 = r76496612 * r76496613;
        double r76496615 = 1.0;
        double r76496616 = r76496610 / r76496604;
        double r76496617 = pow(r76496616, r76496603);
        double r76496618 = r76496615 + r76496617;
        double r76496619 = r76496618 - r76496615;
        double r76496620 = r76496614 * r76496619;
        double r76496621 = r76496603 / r76496620;
        return r76496621;
}

Reproduce

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