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 r52500761 = 2.0;
        double r52500762 = t;
        double r52500763 = 3.0;
        double r52500764 = pow(r52500762, r52500763);
        double r52500765 = l;
        double r52500766 = r52500765 * r52500765;
        double r52500767 = r52500764 / r52500766;
        double r52500768 = k;
        double r52500769 = sin(r52500768);
        double r52500770 = r52500767 * r52500769;
        double r52500771 = tan(r52500768);
        double r52500772 = r52500770 * r52500771;
        double r52500773 = 1.0;
        double r52500774 = r52500768 / r52500762;
        double r52500775 = pow(r52500774, r52500761);
        double r52500776 = r52500773 + r52500775;
        double r52500777 = r52500776 + r52500773;
        double r52500778 = r52500772 * r52500777;
        double r52500779 = r52500761 / r52500778;
        return r52500779;
}

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))))