\[\]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020273 
(FPCore (a b)
  :name "Bouland and Aaronson, Equation (24)"
  :precision binary64
  (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))) 1.0))

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.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 (a b)
  :name "Bouland and Aaronson, Equation (24)"
  :precision binary64
  (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))) 1.0))