exp neg sub

Specification

?
\[\begin{array}{l} \\ e^{-\left(1 - x \cdot x\right)} \end{array} \]
(FPCore (x) :precision binary64 (exp (- (- 1.0 (* x x)))))
double code(double x) {
	return exp(-(1.0 - (x * x)));
}
real(8) function code(x)
    real(8), intent (in) :: x
    code = exp(-(1.0d0 - (x * x)))
end function
public static double code(double x) {
	return Math.exp(-(1.0 - (x * x)));
}
def code(x):
	return math.exp(-(1.0 - (x * x)))
function code(x)
	return exp(Float64(-Float64(1.0 - Float64(x * x))))
end
function tmp = code(x)
	tmp = exp(-(1.0 - (x * x)));
end
code[x_] := N[Exp[(-N[(1.0 - N[(x * x), $MachinePrecision]), $MachinePrecision])], $MachinePrecision]
\begin{array}{l}

\\
e^{-\left(1 - x \cdot x\right)}
\end{array}

Reproduce

?
herbie shell --seed 2024246 
(FPCore (x)
  :name "exp neg sub"
  :precision binary64
  (exp (- (- 1.0 (* x x)))))

Please file a bug report with this information.

Backtrace

map: contract violation expected: list? given: '((neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) . #hasheq((errs . (1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1...LC
gen-map/usr/local/racket/collects/racket/private/map.rkt2572
actual-errors/home/nightlies/herbie/zane-concrete-values/src/core/explain.rkt350
generate-timelines/home/nightlies/herbie/zane-concrete-values/src/core/explain.rkt4930
explain!/home/nightlies/herbie/zane-concrete-values/src/core/mainloop.rkt3220
run-improve!/home/nightlies/herbie/zane-concrete-values/src/core/mainloop.rkt440
get-alternatives/report/home/nightlies/herbie/zane-concrete-values/src/api/sandbox.rkt1860
(unnamed)/home/nightlies/herbie/zane-concrete-values/src/api/sandbox.rkt2826
(unnamed)/usr/local/racket/share/pkgs/profile-lib/main.rkt4010
profile-thunk/usr/local/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/usr/local/racket/collects/racket/engine.rkt4224