\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;
}
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)))))))
| dict-ref: no value for key: 'branch52976 in: '((a . binary64) (b . binary64) (c . binary64)) | L | C | |
|---|---|---|---|
| for-loop | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt | 106 | 4 |
| make-sampler | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt | 99 | 0 |
| prepare-points-intervals | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt | 121 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt | 233 | 9 |
| sindices->spoints | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt | 194 | 0 |
| f33 | /opt/racket-7.2/collects/racket/match/compiler.rkt | 507 | 40 |
| get-final-combination | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt | 369 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.2/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.2/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/private/more-scheme.rkt | 261 | 28 |