Exception for Logistic function

Specification

\[0 \leq s \land s \leq 1.0651631\]

\[\begin{array}{l} \\ \frac{1}{1 + e^{\frac{-x}{s}}} \end{array} \]

(FPCore (x s) :precision binary32 (/ 1.0 (+ 1.0 (exp (/ (- x) s)))))

float code(float x, float s) {
	return 1.0f / (1.0f + expf((-x / s)));
}

real(4) function code(x, s)
    real(4), intent (in) :: x
    real(4), intent (in) :: s
    code = 1.0e0 / (1.0e0 + exp((-x / s)))
end function

function code(x, s)
	return Float32(Float32(1.0) / Float32(Float32(1.0) + exp(Float32(Float32(-x) / s))))
end

function tmp = code(x, s)
	tmp = single(1.0) / (single(1.0) + exp((-x / s)));
end

\begin{array}{l}

\\
\frac{1}{1 + e^{\frac{-x}{s}}}
\end{array}

Reproduce

herbie shell --seed 2024154 -o setup:simplify
(FPCore (x s)
  :name "Logistic function"
  :precision binary32
  :pre (and (<= 0.0 s) (<= s 1.0651631))
  (/ 1.0 (+ 1.0 (exp (/ (- x) s)))))

Please file a bug report with this information.

Backtrace

binary32 is not implemented in this comparison		L	C
run-sollya	/home/nightlies/herbie/artem-popl-s-eval/src/run-sollya.rkt	180	0
sample-points	/home/nightlies/herbie/artem-popl-s-eval/src/sampling.rkt	176	0
setup-context!	/home/nightlies/herbie/artem-popl-s-eval/src/mainloop.rkt	45	0
get-alternatives/report	/home/nightlies/herbie/artem-popl-s-eval/src/sandbox.rkt	171	0
(unnamed)	/home/nightlies/herbie/artem-popl-s-eval/src/sandbox.rkt	265	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