\[\]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020277 
(FPCore (a b c d)
  :name "Complex division, real part"
  :precision binary64

  :herbie-target
  (if (< (fabs d) (fabs c)) (/ (+ a (* b (/ d c))) (+ c (* d (/ d c)))) (/ (+ b (* a (/ c d))) (+ d (* c (/ c d)))))

  (/ (+ (* a c) (* b d)) (+ (* c c) (* d d))))

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.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 2020277 
(FPCore (a b c d)
  :name "Complex division, real part"
  :precision binary64

  :herbie-target
  (if (< (fabs d) (fabs c)) (/ (+ a (* b (/ d c))) (+ c (* d (/ d c)))) (/ (+ b (* a (/ c d))) (+ d (* c (/ c d)))))

  (/ (+ (* a c) (* b d)) (+ (* c c) (* d d))))