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 r42625553 = 2.0;
        double r42625554 = t;
        double r42625555 = 3.0;
        double r42625556 = pow(r42625554, r42625555);
        double r42625557 = l;
        double r42625558 = r42625557 * r42625557;
        double r42625559 = r42625556 / r42625558;
        double r42625560 = k;
        double r42625561 = sin(r42625560);
        double r42625562 = r42625559 * r42625561;
        double r42625563 = tan(r42625560);
        double r42625564 = r42625562 * r42625563;
        double r42625565 = 1.0;
        double r42625566 = r42625560 / r42625554;
        double r42625567 = pow(r42625566, r42625553);
        double r42625568 = r42625565 + r42625567;
        double r42625569 = r42625568 - r42625565;
        double r42625570 = r42625564 * r42625569;
        double r42625571 = r42625553 / r42625570;
        return r42625571;
}

Reproduce

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