\[\]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020273 
(FPCore (x y z t)
  :name "Data.Metrics.Snapshot:quantile from metrics-0.3.0.2"
  :precision binary64

  :herbie-target
  (+ x (+ (* t (- y z)) (* (- x) (- y z))))

  (+ x (* (- y z) (- t x))))

Backtrace

match: no matching clause for 'realLC
match:error/opt/racket-7.8/collects/racket/match/runtime.rkt240
f387unknown
munge/data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt1492
for-loop/data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt16815
f387unknown
munge/data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt1492
for-loop/data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt16815
f387unknown
munge/data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt1492
for-loop/data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt1794
batch-eval-progs/data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt1250
batch-errors/data/pavpan/nightlies/herbie/egg-taylor/src/points.rkt1690
atab-add-altns/data/pavpan/nightlies/herbie/egg-taylor/src/core/alt-table.rkt1940
(unnamed)/opt/racket-7.8/collects/racket/contract/private/arrow-val-first.rkt48618
finalize-iter!/data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt2850
run-iter!/data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt3530
run-improve/data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt3720
(unnamed)/data/pavpan/nightlies/herbie/egg-taylor/src/sandbox.rkt726
run/opt/racket-7.8/share/pkgs/profile-lib/main.rkt392
profile-thunk/opt/racket-7.8/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.8/collects/racket/engine.rkt4224

Reproduce

herbie shell --seed 2020273 
(FPCore (x y z t)
  :name "Data.Metrics.Snapshot:quantile from metrics-0.3.0.2"
  :precision binary64

  :herbie-target
  (+ x (+ (* t (- y z)) (* (- x) (- y z))))

  (+ x (* (- y z) (- t x))))