\[\]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020231 
(FPCore (x y z t a b)
  :name "Graphics.Rasterific.CubicBezier:cachedBezierAt from Rasterific-0.6.1"
  :precision binary64

  :herbie-target
  (if (< z -1.1820553527347888e+19) (+ (* z (+ (* b a) y)) (+ x (* t a))) (if (< z 4.7589743188364287e-122) (+ (* (+ (* b z) t) a) (+ (* z y) x)) (+ (* z (+ (* b a) y)) (+ x (* t a)))))

  (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))

Backtrace

hash-ref: no value found for key key: 'NAN.f64LC
table-ref/data/pavpan/nightlies/herbie/cleanup/src/common.rkt320
f284unknown
munge/data/pavpan/nightlies/herbie/cleanup/src/programs.rkt1382
for-loop/data/pavpan/nightlies/herbie/cleanup/src/programs.rkt15915
f284unknown
munge/data/pavpan/nightlies/herbie/cleanup/src/programs.rkt1382
for-loop/data/pavpan/nightlies/herbie/cleanup/src/programs.rkt15915
f284unknown
munge/data/pavpan/nightlies/herbie/cleanup/src/programs.rkt1382
for-loop/data/pavpan/nightlies/herbie/cleanup/src/programs.rkt15915
f284unknown
munge/data/pavpan/nightlies/herbie/cleanup/src/programs.rkt1382
for-loop/data/pavpan/nightlies/herbie/cleanup/src/programs.rkt15915
f284unknown
munge/data/pavpan/nightlies/herbie/cleanup/src/programs.rkt1382
for-loop/data/pavpan/nightlies/herbie/cleanup/src/programs.rkt1704
batch-eval-progs/data/pavpan/nightlies/herbie/cleanup/src/programs.rkt1120
batch-errors/data/pavpan/nightlies/herbie/cleanup/src/points.rkt1690
atab-add-altns/data/pavpan/nightlies/herbie/cleanup/src/core/alt-table.rkt1940
(unnamed)/opt/racket-7.5/collects/racket/contract/private/arrow-val-first.rkt48618
finalize-iter!/data/pavpan/nightlies/herbie/cleanup/src/mainloop.rkt2780
run-iter!/data/pavpan/nightlies/herbie/cleanup/src/mainloop.rkt3460
for-loop/data/pavpan/nightlies/herbie/cleanup/src/mainloop.rkt3844
run-improve41/data/pavpan/nightlies/herbie/cleanup/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 2020231 
(FPCore (x y z t a b)
  :name "Graphics.Rasterific.CubicBezier:cachedBezierAt from Rasterific-0.6.1"
  :precision binary64

  :herbie-target
  (if (< z -1.1820553527347888e+19) (+ (* z (+ (* b a) y)) (+ x (* t a))) (if (< z 4.7589743188364287e-122) (+ (* (+ (* b z) t) a) (+ (* z y) x)) (+ (* z (+ (* b a) y)) (+ x (* t a)))))

  (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))