Exception for Expression 1, p15

Specification

\[\left(\left(\left(\left(\left(\left(\left(\left(1 \leq a \land a \leq 2\right) \land 2 \leq b\right) \land b \leq 4\right) \land 4 \leq c\right) \land c \leq 8\right) \land 8 \leq d\right) \land d \leq 16\right) \land 16 \leq e\right) \land e \leq 32\]

\[\begin{array}{l} \\ \left(\left(\left(e + d\right) + c\right) + b\right) + a \end{array} \]

(FPCore (a b c d e) :precision binary64 (+ (+ (+ (+ e d) c) b) a))

double code(double a, double b, double c, double d, double e) {
	return (((e + d) + c) + b) + a;
}

real(8) function code(a, b, c, d, e)
    real(8), intent (in) :: a
    real(8), intent (in) :: b
    real(8), intent (in) :: c
    real(8), intent (in) :: d
    real(8), intent (in) :: e
    code = (((e + d) + c) + b) + a
end function

public static double code(double a, double b, double c, double d, double e) {
	return (((e + d) + c) + b) + a;
}

def code(a, b, c, d, e):
	return (((e + d) + c) + b) + a

function code(a, b, c, d, e)
	return Float64(Float64(Float64(Float64(e + d) + c) + b) + a)
end

function tmp = code(a, b, c, d, e)
	tmp = (((e + d) + c) + b) + a;
end

code[a_, b_, c_, d_, e_] := N[(N[(N[(N[(e + d), $MachinePrecision] + c), $MachinePrecision] + b), $MachinePrecision] + a), $MachinePrecision]

\begin{array}{l}

\\
\left(\left(\left(e + d\right) + c\right) + b\right) + a
\end{array}

Reproduce

herbie shell --seed 2024246 
(FPCore (a b c d e)
  :name "Expression 1, p15"
  :precision binary64
  :pre (and (and (and (and (and (and (and (and (and (<= 1.0 a) (<= a 2.0)) (<= 2.0 b)) (<= b 4.0)) (<= 4.0 c)) (<= c 8.0)) (<= 8.0 d)) (<= d 16.0)) (<= 16.0 e)) (<= e 32.0))

  :alt
  (! :herbie-platform default (+ (+ d (+ c (+ a b))) e))

  (+ (+ (+ (+ e d) c) b) a))

Please file a bug report with this information.

Backtrace

map: contract violation expected: list? given: '((+.f64 (+.f64 e d) c) . #hasheq((errs . (1 1 1 1 1 2 1 1 1 2 1 1 1 1 1 2 1 2 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 2 1 1 1 1 1 1 1 1 2 2 1 1 1 1 1 2 2 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 2 1 1 1 2 2 1 1 2 2 1 2 1 1 1 1 1 1 1 2 1 1 1 1 1 1 ...		L	C
gen-map	/usr/local/racket/collects/racket/private/map.rkt	257	2
actual-errors	/home/nightlies/herbie/zane-concrete-values/src/core/explain.rkt	35	0
generate-timelines	/home/nightlies/herbie/zane-concrete-values/src/core/explain.rkt	493	0
explain!	/home/nightlies/herbie/zane-concrete-values/src/core/mainloop.rkt	322	0
run-improve!	/home/nightlies/herbie/zane-concrete-values/src/core/mainloop.rkt	44	0
get-alternatives/report	/home/nightlies/herbie/zane-concrete-values/src/api/sandbox.rkt	186	0
(unnamed)	/home/nightlies/herbie/zane-concrete-values/src/api/sandbox.rkt	282	6
(unnamed)	/usr/local/racket/share/pkgs/profile-lib/main.rkt	40	10
profile-thunk	/usr/local/racket/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/usr/local/racket/collects/racket/engine.rkt	42	24