\frac{\left(-b\right) - \sqrt{b \cdot b - 4 \cdot \left(a \cdot c\right)}}{2 \cdot a}double f(double a, double b, double c) {
double r66203 = b;
double r66204 = -r66203;
double r66205 = r66203 * r66203;
double r66206 = 4.0;
double r66207 = a;
double r66208 = c;
double r66209 = r66207 * r66208;
double r66210 = r66206 * r66209;
double r66211 = r66205 - r66210;
double r66212 = sqrt(r66211);
double r66213 = r66204 - r66212;
double r66214 = 2.0;
double r66215 = r66214 * r66207;
double r66216 = r66213 / r66215;
return r66216;
}
Please include this information when filing a bug report:
herbie shell --seed 2019323
(FPCore (a b c)
:name "quadm (p42, negative)"
:precision binary64
:herbie-target
(if (< b 0.0) (/ c (* a (/ (+ (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)))) (/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)))
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)))
| dict-ref: no value for key: 'branch66202 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 |