Exception for Numeric.SpecFunctions.Extra:bd0 from math-functions-0.1.5.2

Specification

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

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

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

double code(double x, double y, double z) {
	return (x * log((x / 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 * log((x / y))) - z
end function

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

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

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

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

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

\begin{array}{l}

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

Reproduce

herbie shell --seed 2024321 
(FPCore (x y z)
  :name "Numeric.SpecFunctions.Extra:bd0 from math-functions-0.1.5.2"
  :precision binary64
  :pre (TRUE)

  :alt
  (! :herbie-platform default (if (< y 7595077799083773/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (- (* x (log (/ x y))) z) (- (* x (- (log x) (log y))) z)))

  (- (* x (log (/ x y))) z))

Please file a bug report with this information.

Backtrace

numerator: contract violation expected: rational-number? given: -inf.0		L	C
egglog-add-exprs	/home/nightlies/herbie/varun10p-egglog/src/core/egglog-herbie.rkt	408	0
final-simplify!	/home/nightlies/herbie/varun10p-egglog/src/core/mainloop.rkt	350	0
extract!	/home/nightlies/herbie/varun10p-egglog/src/core/mainloop.rkt	81	0
run-improve!	/home/nightlies/herbie/varun10p-egglog/src/core/mainloop.rkt	46	0
get-alternatives/report	/home/nightlies/herbie/varun10p-egglog/src/api/sandbox.rkt	186	0
(unnamed)	/home/nightlies/herbie/varun10p-egglog/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