2 \cdot \left(\left(1 \cdot \frac{1}{9} + \frac{1}{9} \cdot \frac{1}{9}\right) + \frac{1}{9} \cdot 1\right)double f() {
double r67283 = 2.0;
double r67284 = 1.0;
double r67285 = 9.0;
double r67286 = r67284 / r67285;
double r67287 = r67284 * r67286;
double r67288 = r67286 * r67286;
double r67289 = r67287 + r67288;
double r67290 = r67286 * r67284;
double r67291 = r67289 + r67290;
double r67292 = r67283 * r67291;
return r67292;
}
Please include this information when filing a bug report:
herbie shell --seed 2019194
(FPCore ()
:name "Rectangular parallelepiped of dimension a×b×c"
:herbie-target
(+ (+ (* (* (/ 1.0 9.0) 1.0) 2.0) (* 2.0 (* (/ 1.0 9.0) (/ 1.0 9.0)))) (* 2.0 (* 1.0 (/ 1.0 9.0))))
(* 2.0 (+ (+ (* 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) (/ 1.0 9.0))) (* (/ 1.0 9.0) 1.0))))
| car: contract violation expected: pair? given: '() | L | C | |
|---|---|---|---|
| loop | /data/pavpan/nightlies/herbie/js-tweaks/src/points.rkt | 122 | 4 |
| prepare-points | /data/pavpan/nightlies/herbie/js-tweaks/src/points.rkt | 146 | 0 |
| run-improve47 | /data/pavpan/nightlies/herbie/js-tweaks/src/mainloop.rkt | 342 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |