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 r6190469 = 2.0;
        double r6190470 = t;
        double r6190471 = 3.0;
        double r6190472 = pow(r6190470, r6190471);
        double r6190473 = l;
        double r6190474 = r6190473 * r6190473;
        double r6190475 = r6190472 / r6190474;
        double r6190476 = k;
        double r6190477 = sin(r6190476);
        double r6190478 = r6190475 * r6190477;
        double r6190479 = tan(r6190476);
        double r6190480 = r6190478 * r6190479;
        double r6190481 = 1.0;
        double r6190482 = r6190476 / r6190470;
        double r6190483 = pow(r6190482, r6190469);
        double r6190484 = r6190481 + r6190483;
        double r6190485 = r6190484 - r6190481;
        double r6190486 = r6190480 * r6190485;
        double r6190487 = r6190469 / r6190486;
        return r6190487;
}

Reproduce

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