Exception for Rectangular parallelepiped of dimension a×b×c

Math

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

FPCore

(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))))

C

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));
}

Fortran

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

Java

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));
}

Python

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))

Julia

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

MATLAB

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

Wolfram

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]

Reproduce

Please include this information when filing a bug report:

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

  :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

ival-error?: contract violation expected: ival? given: (arb "[0.46913580246913580246914 +/- 5.94e-24]") in: the 1st argument of (-> ival? ival?) contract from: <pkgs>/rival/main.rkt blaming: <pkgs>/herbie/ground-truth.rkt (assuming the contract is correct) at: <pkgs>/rival/main.rkt:110:11		L	C
raise-blame-error	/usr/share/racket/collects/racket/contract/private/blame.rkt	346	0
(unnamed)	/usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt	486	18
(unnamed)	/home/nightlies/herbie/arb-support/src/ground-truth.rkt	23	2
ival-eval	/home/nightlies/herbie/arb-support/src/sampling.rkt	126	0
batch-prepare-points	/home/nightlies/herbie/arb-support/src/sampling.rkt	160	0
sample-points	/home/nightlies/herbie/arb-support/src/ground-truth.rkt	64	0
setup-context!	/home/nightlies/herbie/arb-support/src/mainloop.rkt	293	0
get-alternatives/report	/home/nightlies/herbie/arb-support/src/sandbox.rkt	148	0
(unnamed)	/home/nightlies/herbie/arb-support/src/sandbox.rkt	247	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