\[\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}\]
\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}
double f(double a, double b, double c) {
        double r52977 = b;
        double r52978 = 0.0;
        bool r52979 = r52977 >= r52978;
        double r52980 = -r52977;
        double r52981 = r52977 * r52977;
        double r52982 = 4.0;
        double r52983 = a;
        double r52984 = r52982 * r52983;
        double r52985 = c;
        double r52986 = r52984 * r52985;
        double r52987 = r52981 - r52986;
        double r52988 = sqrt(r52987);
        double r52989 = r52980 - r52988;
        double r52990 = 2.0;
        double r52991 = r52990 * r52983;
        double r52992 = r52989 / r52991;
        double r52993 = r52990 * r52985;
        double r52994 = r52980 + r52988;
        double r52995 = r52993 / r52994;
        double r52996 = r52979 ? r52992 : r52995;
        return r52996;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 +o rules:numerics
(FPCore (a b c)
  :name "jeff quadratic root 1"
  :precision binary64
  (if (>= b 0.0) (/ (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))))))

Backtrace

dict-ref: no value for key: 'branch52976 in: '((a . binary64) (b . binary64) (c . binary64))LC
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt1064
make-sampler/data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt990
prepare-points-intervals/data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt1210
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt2339
sindices->spoints/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt1940
f33/opt/racket-7.2/collects/racket/match/compiler.rkt50740
get-final-combination/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt3690
(unnamed)/opt/racket-7.2/collects/racket/private/more-scheme.rkt26128
run/opt/racket-7.2/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.2/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.2/collects/racket/private/more-scheme.rkt26128