Cannot sample enough valid points. (more)

?

\[1 \leq y \land y \leq 9999\]
\[\begin{array}{l} \mathbf{if}\;\mathsf{==.f64}\left(\mathsf{*.f64}\left(\mathsf{\_.f64}\left(\mathsf{fabs.f64}\left(\mathsf{\_.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right), \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right)\right), \mathsf{\_.f64}\left(\mathsf{fabs.f64}\left(\mathsf{\_.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right), \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right)\right)\right), 0\right):\\ \;\;\;\;1\\ \mathbf{else}:\\ \;\;\;\;\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\mathsf{exp.f64}\left(\mathsf{*.f64}\left(\mathsf{\_.f64}\left(\mathsf{fabs.f64}\left(\mathsf{\_.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right), \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right)\right), \mathsf{\_.f64}\left(\mathsf{fabs.f64}\left(\mathsf{\_.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right), \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right)\right)\right)\right), 1\right), \mathsf{*.f64}\left(\mathsf{\_.f64}\left(\mathsf{fabs.f64}\left(\mathsf{\_.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right), \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right)\right), \mathsf{\_.f64}\left(\mathsf{fabs.f64}\left(\mathsf{\_.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right), \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right)\right)\right)\right)\\ \end{array} \]
(FPCore (y)
 :precision binary64
 (if (==.f64
      (*.f64
       (-.f64
        (fabs.f64 (-.f64 y (sqrt.f64 (+.f64 (*.f64 y y) 1))))
        (/.f64 1 (+.f64 y (sqrt.f64 (+.f64 (*.f64 y y) 1)))))
       (-.f64
        (fabs.f64 (-.f64 y (sqrt.f64 (+.f64 (*.f64 y y) 1))))
        (/.f64 1 (+.f64 y (sqrt.f64 (+.f64 (*.f64 y y) 1))))))
      0)
   1
   (/.f64
    (-.f64
     (exp.f64
      (*.f64
       (-.f64
        (fabs.f64 (-.f64 y (sqrt.f64 (+.f64 (*.f64 y y) 1))))
        (/.f64 1 (+.f64 y (sqrt.f64 (+.f64 (*.f64 y y) 1)))))
       (-.f64
        (fabs.f64 (-.f64 y (sqrt.f64 (+.f64 (*.f64 y y) 1))))
        (/.f64 1 (+.f64 y (sqrt.f64 (+.f64 (*.f64 y y) 1)))))))
     1)
    (*.f64
     (-.f64
      (fabs.f64 (-.f64 y (sqrt.f64 (+.f64 (*.f64 y y) 1))))
      (/.f64 1 (+.f64 y (sqrt.f64 (+.f64 (*.f64 y y) 1)))))
     (-.f64
      (fabs.f64 (-.f64 y (sqrt.f64 (+.f64 (*.f64 y y) 1))))
      (/.f64 1 (+.f64 y (sqrt.f64 (+.f64 (*.f64 y y) 1)))))))))
\begin{array}{l}
\mathbf{if}\;\mathsf{==.f64}\left(\mathsf{*.f64}\left(\mathsf{\_.f64}\left(\mathsf{fabs.f64}\left(\mathsf{\_.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right), \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right)\right), \mathsf{\_.f64}\left(\mathsf{fabs.f64}\left(\mathsf{\_.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right), \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right)\right)\right), 0\right):\\
\;\;\;\;1\\

\mathbf{else}:\\
\;\;\;\;\mathsf{/.f64}\left(\mathsf{\_.f64}\left(\mathsf{exp.f64}\left(\mathsf{*.f64}\left(\mathsf{\_.f64}\left(\mathsf{fabs.f64}\left(\mathsf{\_.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right), \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right)\right), \mathsf{\_.f64}\left(\mathsf{fabs.f64}\left(\mathsf{\_.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right), \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right)\right)\right)\right), 1\right), \mathsf{*.f64}\left(\mathsf{\_.f64}\left(\mathsf{fabs.f64}\left(\mathsf{\_.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right), \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right)\right), \mathsf{\_.f64}\left(\mathsf{fabs.f64}\left(\mathsf{\_.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right), \mathsf{/.f64}\left(1, \mathsf{+.f64}\left(y, \mathsf{sqrt.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(y, y\right), 1\right)\right)\right)\right)\right)\right)\right)\\


\end{array}