\[\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 r8270 = J;
        double r8271 = l;
        double r8272 = exp(r8271);
        double r8273 = -r8271;
        double r8274 = exp(r8273);
        double r8275 = r8272 - r8274;
        double r8276 = r8270 * r8275;
        double r8277 = K;
        double r8278 = 2.0;
        double r8279 = r8277 / r8278;
        double r8280 = cos(r8279);
        double r8281 = r8276 * r8280;
        double r8282 = U;
        double r8283 = r8281 + r8282;
        return r8283;
}

Reproduce

Please include this information when filing a bug report:

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

Backtrace

get-representation: Unknown representation #f		L	C
loop	/data/pavpan/nightlies/herbie/interface2/src/points.rkt	122	4
prepare-points	/data/pavpan/nightlies/herbie/interface2/src/points.rkt	146	0
setup-prog!34	/data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt	67	0
run-improve43	/data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt	339	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28