\[x = 77617 \land y = 33096\]
\[\]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020277 
(FPCore (x y)
  :name "Rump's expression from Stadtherr's award speech"
  :precision binary64
  :pre (and (== x 77617.0) (== y 33096.0))
  (+ (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (/ x (* 2.0 y))))

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.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 (x y)
  :name "Rump's expression from Stadtherr's award speech"
  :precision binary64
  :pre (and (== x 77617.0) (== y 33096.0))
  (+ (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (/ x (* 2.0 y))))