Exception for Rectangular parallelepiped of dimension a×b×c

Specification

\[\begin{array}{l} \\ 2 \cdot \left(\left(1 \cdot \frac{1}{9} + \frac{1}{9} \cdot \frac{1}{9}\right) + \frac{1}{9} \cdot 1\right) \end{array} \]

(FPCore ()
 :precision binary64
 (*
  2.0
  (+ (+ (* 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) (/ 1.0 9.0))) (* (/ 1.0 9.0) 1.0))))

double code() {
	return 2.0 * (((1.0 * (1.0 / 9.0)) + ((1.0 / 9.0) * (1.0 / 9.0))) + ((1.0 / 9.0) * 1.0));
}

real(8) function code()
    code = 2.0d0 * (((1.0d0 * (1.0d0 / 9.0d0)) + ((1.0d0 / 9.0d0) * (1.0d0 / 9.0d0))) + ((1.0d0 / 9.0d0) * 1.0d0))
end function

public static double code() {
	return 2.0 * (((1.0 * (1.0 / 9.0)) + ((1.0 / 9.0) * (1.0 / 9.0))) + ((1.0 / 9.0) * 1.0));
}

def code():
	return 2.0 * (((1.0 * (1.0 / 9.0)) + ((1.0 / 9.0) * (1.0 / 9.0))) + ((1.0 / 9.0) * 1.0))

function code()
	return Float64(2.0 * Float64(Float64(Float64(1.0 * Float64(1.0 / 9.0)) + Float64(Float64(1.0 / 9.0) * Float64(1.0 / 9.0))) + Float64(Float64(1.0 / 9.0) * 1.0)))
end

function tmp = code()
	tmp = 2.0 * (((1.0 * (1.0 / 9.0)) + ((1.0 / 9.0) * (1.0 / 9.0))) + ((1.0 / 9.0) * 1.0));
end

code[] := N[(2.0 * N[(N[(N[(1.0 * N[(1.0 / 9.0), $MachinePrecision]), $MachinePrecision] + N[(N[(1.0 / 9.0), $MachinePrecision] * N[(1.0 / 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(1.0 / 9.0), $MachinePrecision] * 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

\begin{array}{l}

\\
2 \cdot \left(\left(1 \cdot \frac{1}{9} + \frac{1}{9} \cdot \frac{1}{9}\right) + \frac{1}{9} \cdot 1\right)
\end{array}

Reproduce

herbie shell --seed 2024276 
(FPCore ()
  :name "Rectangular parallelepiped of dimension a×b×c"
  :precision binary64

  :alt
  (! :herbie-platform default (let ((d 2) (a 1) (b (/ 1 9)) (c (/ 1 9))) (+ (+ (* (* c a) d) (* d (* b c))) (* d (* a b)))))

  (* 2.0 (+ (+ (* 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) (/ 1.0 9.0))) (* (/ 1.0 9.0) 1.0))))

Please file a bug report with this information.

Backtrace

in-vector: contract violation expected: exact-nonnegative-integer? given: -1		L	C
normalise-inputs	/usr/share/racket/collects/racket/private/for.rkt	938	2
batch-remove-zombie	/home/nightlies/herbie/artem-batch-finish-rewrite/src/core/batch.rkt	133	0
make-compiler	/home/nightlies/herbie/artem-batch-finish-rewrite/src/core/compiler.rkt	62	0
batch-errors	/home/nightlies/herbie/artem-batch-finish-rewrite/src/core/points.rkt	78	0
atab-eval-altns	/home/nightlies/herbie/artem-batch-finish-rewrite/src/core/alt-table.rkt	166	0
(unnamed)	/usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt	486	18
initialize-alt-table!	/home/nightlies/herbie/artem-batch-finish-rewrite/src/core/mainloop.rkt	311	0
run-improve!	/home/nightlies/herbie/artem-batch-finish-rewrite/src/core/mainloop.rkt	45	0
get-alternatives/report	/home/nightlies/herbie/artem-batch-finish-rewrite/src/api/sandbox.rkt	186	0
(unnamed)	/home/nightlies/herbie/artem-batch-finish-rewrite/src/api/sandbox.rkt	282	6
(unnamed)	/usr/share/racket/pkgs/profile-lib/main.rkt	40	10
profile-thunk	/usr/share/racket/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/usr/share/racket/collects/racket/engine.rkt	42	24