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 r63680099 = 2.0;
        double r63680100 = t;
        double r63680101 = 3.0;
        double r63680102 = pow(r63680100, r63680101);
        double r63680103 = l;
        double r63680104 = r63680103 * r63680103;
        double r63680105 = r63680102 / r63680104;
        double r63680106 = k;
        double r63680107 = sin(r63680106);
        double r63680108 = r63680105 * r63680107;
        double r63680109 = tan(r63680106);
        double r63680110 = r63680108 * r63680109;
        double r63680111 = 1.0;
        double r63680112 = r63680106 / r63680100;
        double r63680113 = pow(r63680112, r63680099);
        double r63680114 = r63680111 + r63680113;
        double r63680115 = r63680114 - r63680111;
        double r63680116 = r63680110 * r63680115;
        double r63680117 = r63680099 / r63680116;
        return r63680117;
}

Reproduce

herbie shell --seed 2019112 +o rules:numerics
(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))))