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 r3823421 = 2.0;
        double r3823422 = t;
        double r3823423 = 3.0;
        double r3823424 = pow(r3823422, r3823423);
        double r3823425 = l;
        double r3823426 = r3823425 * r3823425;
        double r3823427 = r3823424 / r3823426;
        double r3823428 = k;
        double r3823429 = sin(r3823428);
        double r3823430 = r3823427 * r3823429;
        double r3823431 = tan(r3823428);
        double r3823432 = r3823430 * r3823431;
        double r3823433 = 1.0;
        double r3823434 = r3823428 / r3823422;
        double r3823435 = pow(r3823434, r3823421);
        double r3823436 = r3823433 + r3823435;
        double r3823437 = r3823436 + r3823433;
        double r3823438 = r3823432 * r3823437;
        double r3823439 = r3823421 / r3823438;
        return r3823439;
}

Reproduce

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