Exception for Numeric.SpecFunctions:stirlingError from math-functions-0.1.5.2

Specification

\[\begin{array}{l} \\ \left(\left(x - \left(y + 0.5\right) \cdot \log y\right) + y\right) - z \end{array} \]

(FPCore (x y z) :precision binary64 (- (+ (- x (* (+ y 0.5) (log y))) y) z))

double code(double x, double y, double z) {
	return ((x - ((y + 0.5) * log(y))) + y) - z;
}

real(8) function code(x, y, z)
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    real(8), intent (in) :: z
    code = ((x - ((y + 0.5d0) * log(y))) + y) - z
end function

public static double code(double x, double y, double z) {
	return ((x - ((y + 0.5) * Math.log(y))) + y) - z;
}

def code(x, y, z):
	return ((x - ((y + 0.5) * math.log(y))) + y) - z

function code(x, y, z)
	return Float64(Float64(Float64(x - Float64(Float64(y + 0.5) * log(y))) + y) - z)
end

function tmp = code(x, y, z)
	tmp = ((x - ((y + 0.5) * log(y))) + y) - z;
end

code[x_, y_, z_] := N[(N[(N[(x - N[(N[(y + 0.5), $MachinePrecision] * N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + y), $MachinePrecision] - z), $MachinePrecision]

\begin{array}{l}

\\
\left(\left(x - \left(y + 0.5\right) \cdot \log y\right) + y\right) - z
\end{array}

Reproduce

herbie shell --seed 2024246 
(FPCore (x y z)
  :name "Numeric.SpecFunctions:stirlingError from math-functions-0.1.5.2"
  :precision binary64

  :alt
  (! :herbie-platform default (- (- (+ y x) z) (* (+ y 1/2) (log y))))

  (- (+ (- x (* (+ y 0.5) (log y))) y) z))

Please file a bug report with this information.

Backtrace

map: contract violation expected: list? given: '((log.f64 y) . #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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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