Please include this information when filing a bug report:
herbie shell --seed 2020277
(FPCore (x1 x2)
:name "Rosa's FloatVsDoubleBenchmark"
:precision binary64
(+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) (+ (* x1 x1) 1.0)) (* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) x1)) x1) (* 3.0 (/ (- (- (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))))
| match: no matching clause for 'real | L | C | |
|---|---|---|---|
| match:error | /opt/racket-7.8/collects/racket/match/runtime.rkt | 24 | 0 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 179 | 4 |
| batch-eval-progs | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 125 | 0 |
| batch-errors | /data/pavpan/nightlies/herbie/egg-taylor/src/points.rkt | 169 | 0 |
| atab-add-altns | /data/pavpan/nightlies/herbie/egg-taylor/src/core/alt-table.rkt | 194 | 0 |
| (unnamed) | /opt/racket-7.8/collects/racket/contract/private/arrow-val-first.rkt | 486 | 18 |
| finalize-iter! | /data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt | 285 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt | 353 | 0 |
| run-improve | /data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt | 372 | 0 |
| (unnamed) | /data/pavpan/nightlies/herbie/egg-taylor/src/sandbox.rkt | 72 | 6 |
| run | /opt/racket-7.8/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk | /opt/racket-7.8/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.8/collects/racket/engine.rkt | 42 | 24 |
herbie shell --seed 2020277
(FPCore (x1 x2)
:name "Rosa's FloatVsDoubleBenchmark"
:precision binary64
(+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) (+ (* x1 x1) 1.0)) (* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) x1)) x1) (* 3.0 (/ (- (- (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))))))