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 r62542570 = 2.0;
        double r62542571 = t;
        double r62542572 = 3.0;
        double r62542573 = pow(r62542571, r62542572);
        double r62542574 = l;
        double r62542575 = r62542574 * r62542574;
        double r62542576 = r62542573 / r62542575;
        double r62542577 = k;
        double r62542578 = sin(r62542577);
        double r62542579 = r62542576 * r62542578;
        double r62542580 = tan(r62542577);
        double r62542581 = r62542579 * r62542580;
        double r62542582 = 1.0;
        double r62542583 = r62542577 / r62542571;
        double r62542584 = pow(r62542583, r62542570);
        double r62542585 = r62542582 + r62542584;
        double r62542586 = r62542585 - r62542582;
        double r62542587 = r62542581 * r62542586;
        double r62542588 = r62542570 / r62542587;
        return r62542588;
}

Reproduce

herbie shell --seed 2019172 +o rules:numerics
(FPCore (t l k)
  :name "Toniolo and Linder, Equation (10-)"
  (/ 2.0 (* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (- (+ 1.0 (pow (/ k t) 2.0)) 1.0))))