Please include this information when filing a bug report:
herbie shell --seed 2020273
(FPCore (x y z t a)
:name "Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, I"
:precision binary64
:herbie-target
(if (< a -2.090464557976709e+86) (- (* 0.5 (/ (* y x) a)) (* 4.5 (/ t (/ a z)))) (if (< a 2.144030707833976e+99) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) (- (* (/ y a) (* x 0.5)) (* (/ t a) (* z 4.5)))))
(/ (- (* x y) (* (* z 9.0) t)) (* a 2.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 | 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 2020273
(FPCore (x y z t a)
:name "Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, I"
:precision binary64
:herbie-target
(if (< a -2.090464557976709e+86) (- (* 0.5 (/ (* y x) a)) (* 4.5 (/ t (/ a z)))) (if (< a 2.144030707833976e+99) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) (- (* (/ y a) (* x 0.5)) (* (/ t a) (* z 4.5)))))
(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))