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 r49069 = 2.0;
double r49070 = 1.0;
double r49071 = 9.0;
double r49072 = r49070 / r49071;
double r49073 = r49070 * r49072;
double r49074 = r49072 * r49072;
double r49075 = r49073 + r49074;
double r49076 = r49072 * r49070;
double r49077 = r49075 + r49076;
double r49078 = r49069 * r49077;
return r49078;
}
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/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 |