Cannot sample enough valid points. (more)

\[0 < c_p \land 0 < c_n\]
\[\frac{{\left(\frac{1}{1 + e^{\mathsf{neg}\left(s\right)}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{\mathsf{neg}\left(s\right)}}\right)}^{c_n}}{{\left(\frac{1}{1 + e^{\mathsf{neg}\left(t\right)}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{\mathsf{neg}\left(t\right)}}\right)}^{c_n}}\]
\frac{{\left(\frac{1}{1 + e^{\mathsf{neg}\left(s\right)}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{\mathsf{neg}\left(s\right)}}\right)}^{c_n}}{{\left(\frac{1}{1 + e^{\mathsf{neg}\left(t\right)}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{\mathsf{neg}\left(t\right)}}\right)}^{c_n}}
(FPCore (c_p c_n t s)
 :precision binary64
 (/
  (*
   (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
   (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n))
  (*
   (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
   (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n))))