\[\]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020273 
(FPCore (x y z)
  :name "Diagrams.Solve.Polynomial:quadForm from diagrams-solve-0.1, B"
  :precision binary64
  (* (/ 1.0 2.0) (+ x (* y (sqrt z)))))

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.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)
  :name "Diagrams.Solve.Polynomial:quadForm from diagrams-solve-0.1, B"
  :precision binary64
  (* (/ 1.0 2.0) (+ x (* y (sqrt z)))))