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 r55281 = 2.0;
double r55282 = 1.0;
double r55283 = 9.0;
double r55284 = r55282 / r55283;
double r55285 = r55282 * r55284;
double r55286 = r55284 * r55284;
double r55287 = r55285 + r55286;
double r55288 = r55284 * r55282;
double r55289 = r55287 + r55288;
double r55290 = r55281 * r55289;
return r55290;
}
Please include this information when filing a bug report:
herbie shell --seed 2019195
(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/master/src/points.rkt | 122 | 4 |
| prepare-points | /data/pavpan/nightlies/herbie/master/src/points.rkt | 146 | 0 |
| run-improve47 | /data/pavpan/nightlies/herbie/master/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 |