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 r70500674 = 2.0;
        double r70500675 = t;
        double r70500676 = 3.0;
        double r70500677 = pow(r70500675, r70500676);
        double r70500678 = l;
        double r70500679 = r70500678 * r70500678;
        double r70500680 = r70500677 / r70500679;
        double r70500681 = k;
        double r70500682 = sin(r70500681);
        double r70500683 = r70500680 * r70500682;
        double r70500684 = tan(r70500681);
        double r70500685 = r70500683 * r70500684;
        double r70500686 = 1.0;
        double r70500687 = r70500681 / r70500675;
        double r70500688 = pow(r70500687, r70500674);
        double r70500689 = r70500686 + r70500688;
        double r70500690 = r70500689 + r70500686;
        double r70500691 = r70500685 * r70500690;
        double r70500692 = r70500674 / r70500691;
        return r70500692;
}

Reproduce

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