Please include this information when filing a bug report:
herbie shell --seed 2020253
(FPCore (a b c)
:name "jeff quadratic root 2"
:precision binary64
(if (>= b 0.0) (/ (* 2.0 c) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))
| match: no matching clause for '(if (>=.f64 b 0) (*.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))) b) (*.f64 2 a))) | L | C | |
|---|---|---|---|
| match:error | /opt/racket-7.8/collects/racket/match/runtime.rkt | 24 | 0 |
| taylor-alt | /data/pavpan/nightlies/herbie/multiprecision/src/mainloop.rkt | 149 | 0 |
| gen-series! | /data/pavpan/nightlies/herbie/multiprecision/src/mainloop.rkt | 171 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/multiprecision/src/mainloop.rkt | 362 | 0 |
| run-improve | /data/pavpan/nightlies/herbie/multiprecision/src/mainloop.rkt | 381 | 0 |
| (unnamed) | /data/pavpan/nightlies/herbie/multiprecision/src/sandbox.rkt | 69 | 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 2020253
(FPCore (a b c)
:name "jeff quadratic root 2"
:precision binary64
(if (>= b 0.0) (/ (* 2.0 c) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))