\begin{array}{l}
\mathbf{if}\;b \geq 0:\\
\;\;\;\;\frac{2 \cdot c}{\left(-b\right) - \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left(-b\right) + \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}{2 \cdot a}\\
\end{array}(FPCore (a b c) :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))))
double code(double a, double b, double c) {
double tmp;
if (b >= 0.0) {
tmp = (2.0 * c) / (-b - sqrt((b * b) - ((4.0 * a) * c)));
} else {
tmp = (-b + sqrt((b * b) - ((4.0 * a) * c))) / (2.0 * a);
}
return tmp;
}
Please include this information when filing a bug report:
herbie shell --seed 2021174
(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))))
| hash-ref: no value found for key key: '(>=.f64 b 0) | L | C | |
|---|---|---|---|
| loop | /data/pavpan/nightlies/herbie/master/src/core/localize.rkt | 79 | 7 |
| loop | /data/pavpan/nightlies/herbie/master/src/core/localize.rkt | 79 | 7 |
| localize-error | /data/pavpan/nightlies/herbie/master/src/core/localize.rkt | 65 | 0 |
| localize! | /data/pavpan/nightlies/herbie/master/src/mainloop.rkt | 171 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/master/src/mainloop.rkt | 478 | 4 |
| run-iter! | /data/pavpan/nightlies/herbie/master/src/mainloop.rkt | 472 | 0 |
| run-improve | /data/pavpan/nightlies/herbie/master/src/mainloop.rkt | 503 | 0 |
| (unnamed) | /data/pavpan/nightlies/herbie/master/src/sandbox.rkt | 56 | 6 |
| run | /opt/racket-7.9/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk | /opt/racket-7.9/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.9/collects/racket/engine.rkt | 42 | 24 |