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

Specification

\[\mathsf{TRUE}\left(\right)\]

\[\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 2024345 
(FPCore (x y z)
  :name "Numeric.SpecFunctions:stirlingError from math-functions-0.1.5.2"
  :precision binary64
  :pre (TRUE)

  :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

egglog executable not found in PATH		L	C
run-egglog-single-extractor	/home/nightlies/herbie/aditya-egglog-single-extractor/src/core/egglog-herbie.rkt	143	0
simplify-batch	/home/nightlies/herbie/aditya-egglog-single-extractor/src/core/simplify.rkt	23	0
(unnamed)	/usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt	379	33
initial-simplify	/home/nightlies/herbie/aditya-egglog-single-extractor/src/core/preprocess.rkt	60	0
find-preprocessing	/home/nightlies/herbie/aditya-egglog-single-extractor/src/core/preprocess.rkt	98	0
run-improve!	/home/nightlies/herbie/aditya-egglog-single-extractor/src/core/mainloop.rkt	46	0
get-alternatives/report	/home/nightlies/herbie/aditya-egglog-single-extractor/src/api/sandbox.rkt	186	0
(unnamed)	/home/nightlies/herbie/aditya-egglog-single-extractor/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