\[\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 r91342 = J;
        double r91343 = l;
        double r91344 = exp(r91343);
        double r91345 = -r91343;
        double r91346 = exp(r91345);
        double r91347 = r91344 - r91346;
        double r91348 = r91342 * r91347;
        double r91349 = K;
        double r91350 = 2.0;
        double r91351 = r91349 / r91350;
        double r91352 = cos(r91351);
        double r91353 = r91348 * r91352;
        double r91354 = U;
        double r91355 = r91353 + r91354;
        return r91355;
}

Reproduce

Please include this information when filing a bug report:

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

Backtrace

get-representation: Unknown representation real		L	C
(unnamed)	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	65	3
filter	/opt/racket-7.2/collects/racket/private/list.rkt	256	2
infer-splitpoints	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	34	0
get-final-combination	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	369	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28