\[\begin{array}{l} \mathbf{if}\;b \ge 0.0:\\ \;\;\;\;\frac{\left(-b\right) - \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}{2 \cdot a}\\ \mathbf{else}:\\ \;\;\;\;\frac{2 \cdot c}{\left(-b\right) + \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}\\ \end{array}\]

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020169 
(FPCore (a b c)
  :name "jeff quadratic root 1"
  :precision binary64
  (if (>= b 0.0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)) (/ (* 2.0 c) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))

Backtrace

match-define: no matching clause for '(== branch301 -1.8250109810552898e+132)LC
match:error/opt/racket-7.5/collects/racket/match/runtime.rkt240
program-body/data/pavpan/nightlies/herbie/ival-find-range/src/programs.rkt250
(unnamed)/opt/racket-7.5/collects/racket/contract/private/arrow-higher-order.rkt37933
prepare-points/data/pavpan/nightlies/herbie/ival-find-range/src/points.rkt1300
pred/data/pavpan/nightlies/herbie/ival-find-range/src/core/regimes.rkt2044
.../more-scheme.rkt:261:28unknown
for-loop/data/pavpan/nightlies/herbie/ival-find-range/src/core/regimes.rkt2403
sindices->spoints/data/pavpan/nightlies/herbie/ival-find-range/src/core/regimes.rkt1940
f37unknown
get-final-combination/data/pavpan/nightlies/herbie/ival-find-range/src/mainloop.rkt3890
.../more-scheme.rkt:261:28unknown
run/opt/racket-7.5/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.5/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.5/collects/racket/private/more-scheme.rkt26128

Reproduce

herbie shell --seed 2020169 
(FPCore (a b c)
  :name "jeff quadratic root 1"
  :precision binary64
  (if (>= b 0.0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)) (/ (* 2.0 c) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))