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 r469078 = J;
        double r469079 = l;
        double r469080 = exp(r469079);
        double r469081 = -r469079;
        double r469082 = exp(r469081);
        double r469083 = r469080 - r469082;
        double r469084 = r469078 * r469083;
        double r469085 = K;
        double r469086 = 2.0;
        double r469087 = r469085 / r469086;
        double r469088 = cos(r469087);
        double r469089 = r469084 * r469088;
        double r469090 = U;
        double r469091 = r469089 + r469090;
        return r469091;
}

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