\[\cos \left(\frac{K \cdot \left(m + n\right)}{2} - M\right) \cdot e^{\left(-{\left(\frac{m + n}{2} - M\right)}^{2}\right) - \left(\ell - \left|m - n\right|\right)}\]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020165 
(FPCore (K m n M l)
  :name "Maksimov and Kolovsky, Equation (32)"
  :precision binary64
  (* (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (- (neg (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))))

Backtrace

ival-hi: contract violation expected: ival? given: #<procedure:interval>LC
for-loop/data/pavpan/nightlies/herbie/ival-find-range/src/sampling.rkt3711
hyperrect-weight/data/pavpan/nightlies/herbie/ival-find-range/src/sampling.rkt360
total-weight/data/pavpan/nightlies/herbie/ival-find-range/src/sampling.rkt1132
log-space-improvement/data/pavpan/nightlies/herbie/ival-find-range/src/sampling.rkt1100
(unnamed)/opt/racket-7.5/collects/racket/contract/private/arrow-higher-order.rkt37533
get-hyperrects/data/pavpan/nightlies/herbie/ival-find-range/src/sampling.rkt1230
make-sampler/data/pavpan/nightlies/herbie/ival-find-range/src/sampling.rkt1470
prepare-points-intervals/data/pavpan/nightlies/herbie/ival-find-range/src/points.rkt900
run-improve47/data/pavpan/nightlies/herbie/ival-find-range/src/mainloop.rkt3650
.../more-scheme.rkt:261:28unknown
run/opt/racket-7.5/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.5/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.5/collects/racket/private/more-scheme.rkt26128

Reproduce

herbie shell --seed 2020165 
(FPCore (K m n M l)
  :name "Maksimov and Kolovsky, Equation (32)"
  :precision binary64
  (* (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (- (neg (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))))