\[\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 r8262 = J;
        double r8263 = l;
        double r8264 = exp(r8263);
        double r8265 = -r8263;
        double r8266 = exp(r8265);
        double r8267 = r8264 - r8266;
        double r8268 = r8262 * r8267;
        double r8269 = K;
        double r8270 = 2.0;
        double r8271 = r8269 / r8270;
        double r8272 = cos(r8271);
        double r8273 = r8268 * r8272;
        double r8274 = U;
        double r8275 = r8273 + r8274;
        return r8275;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019191 
(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