\[2 \cdot \left(\left(1 \cdot \frac{1}{9} + \frac{1}{9} \cdot \frac{1}{9}\right) + \frac{1}{9} \cdot 1\right)\]

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 r47310 = 2.0;
        double r47311 = 1.0;
        double r47312 = 9.0;
        double r47313 = r47311 / r47312;
        double r47314 = r47311 * r47313;
        double r47315 = r47313 * r47313;
        double r47316 = r47314 + r47315;
        double r47317 = r47313 * r47311;
        double r47318 = r47316 + r47317;
        double r47319 = r47310 * r47318;
        return r47319;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019194 +o rules:numerics
(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))))

Backtrace

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