Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\left(J \cdot \left(e^{\ell} - e^{-\ell}\right)\right) \cdot \cos \left(\frac{K}{2}\right) + U\]
\left(J \cdot \left(e^{\ell} - e^{-\ell}\right)\right) \cdot \cos \left(\frac{K}{2}\right) + U
double f(double J, double l, double K, double U) {
        double r466257 = J;
        double r466258 = l;
        double r466259 = exp(r466258);
        double r466260 = -r466258;
        double r466261 = exp(r466260);
        double r466262 = r466259 - r466261;
        double r466263 = r466257 * r466262;
        double r466264 = K;
        double r466265 = 2.0;
        double r466266 = r466264 / r466265;
        double r466267 = cos(r466266);
        double r466268 = r466263 * r466267;
        double r466269 = U;
        double r466270 = r466268 + r466269;
        return r466270;
}

Reproduce

herbie shell --seed 2020062 +o rules:numerics
(FPCore (J l K U)
  :name "Maksimov and Kolovsky, Equation (4)"
  :precision binary64
  (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2))) U))