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 r68687962 = 2.0;
        double r68687963 = t;
        double r68687964 = 3.0;
        double r68687965 = pow(r68687963, r68687964);
        double r68687966 = l;
        double r68687967 = r68687966 * r68687966;
        double r68687968 = r68687965 / r68687967;
        double r68687969 = k;
        double r68687970 = sin(r68687969);
        double r68687971 = r68687968 * r68687970;
        double r68687972 = tan(r68687969);
        double r68687973 = r68687971 * r68687972;
        double r68687974 = 1.0;
        double r68687975 = r68687969 / r68687963;
        double r68687976 = pow(r68687975, r68687962);
        double r68687977 = r68687974 + r68687976;
        double r68687978 = r68687977 - r68687974;
        double r68687979 = r68687973 * r68687978;
        double r68687980 = r68687962 / r68687979;
        return r68687980;
}

Reproduce

herbie shell --seed 2019104 +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))))