Cannot sample enough valid points. (more)

\[1.0 \le y \le 9999.0\]
\[\begin{array}{l} \mathbf{if}\;\left(\left|y - \sqrt{y \cdot y + 1.0}\right| - \frac{1.0}{y + \sqrt{y \cdot y + 1.0}}\right) \cdot \left(\left|y - \sqrt{y \cdot y + 1.0}\right| - \frac{1.0}{y + \sqrt{y \cdot y + 1.0}}\right) + {\left({10.0}^{-300.0}\right)}^{\left(10000.0 \cdot \left(y + 1.0\right)\right)} = 0.0:\\ \;\;\;\;1.0\\ \mathbf{else}:\\ \;\;\;\;\frac{e^{\left(\left|y - \sqrt{y \cdot y + 1.0}\right| - \frac{1.0}{y + \sqrt{y \cdot y + 1.0}}\right) \cdot \left(\left|y - \sqrt{y \cdot y + 1.0}\right| - \frac{1.0}{y + \sqrt{y \cdot y + 1.0}}\right) + {\left({10.0}^{-300.0}\right)}^{\left(10000.0 \cdot \left(y + 1.0\right)\right)}} - 1.0}{\left(\left|y - \sqrt{y \cdot y + 1.0}\right| - \frac{1.0}{y + \sqrt{y \cdot y + 1.0}}\right) \cdot \left(\left|y - \sqrt{y \cdot y + 1.0}\right| - \frac{1.0}{y + \sqrt{y \cdot y + 1.0}}\right) + {\left({10.0}^{-300.0}\right)}^{\left(10000.0 \cdot \left(y + 1.0\right)\right)}}\\ \end{array}\]
\begin{array}{l}
\mathbf{if}\;\left(\left|y - \sqrt{y \cdot y + 1.0}\right| - \frac{1.0}{y + \sqrt{y \cdot y + 1.0}}\right) \cdot \left(\left|y - \sqrt{y \cdot y + 1.0}\right| - \frac{1.0}{y + \sqrt{y \cdot y + 1.0}}\right) + {\left({10.0}^{-300.0}\right)}^{\left(10000.0 \cdot \left(y + 1.0\right)\right)} = 0.0:\\
\;\;\;\;1.0\\

\mathbf{else}:\\
\;\;\;\;\frac{e^{\left(\left|y - \sqrt{y \cdot y + 1.0}\right| - \frac{1.0}{y + \sqrt{y \cdot y + 1.0}}\right) \cdot \left(\left|y - \sqrt{y \cdot y + 1.0}\right| - \frac{1.0}{y + \sqrt{y \cdot y + 1.0}}\right) + {\left({10.0}^{-300.0}\right)}^{\left(10000.0 \cdot \left(y + 1.0\right)\right)}} - 1.0}{\left(\left|y - \sqrt{y \cdot y + 1.0}\right| - \frac{1.0}{y + \sqrt{y \cdot y + 1.0}}\right) \cdot \left(\left|y - \sqrt{y \cdot y + 1.0}\right| - \frac{1.0}{y + \sqrt{y \cdot y + 1.0}}\right) + {\left({10.0}^{-300.0}\right)}^{\left(10000.0 \cdot \left(y + 1.0\right)\right)}}\\

\end{array}
double f(double y) {
        double r861850 = y;
        double r861851 = r861850 * r861850;
        double r861852 = 1.0;
        double r861853 = r861851 + r861852;
        double r861854 = sqrt(r861853);
        double r861855 = r861850 - r861854;
        double r861856 = fabs(r861855);
        double r861857 = r861850 + r861854;
        double r861858 = r861852 / r861857;
        double r861859 = r861856 - r861858;
        double r861860 = r861859 * r861859;
        double r861861 = 10.0;
        double r861862 = -300.0;
        double r861863 = pow(r861861, r861862);
        double r861864 = 10000.0;
        double r861865 = r861850 + r861852;
        double r861866 = r861864 * r861865;
        double r861867 = pow(r861863, r861866);
        double r861868 = r861860 + r861867;
        double r861869 = 0.0;
        double r861870 = r861868 == r861869;
        double r861871 = exp(r861868);
        double r861872 = r861871 - r861852;
        double r861873 = r861872 / r861868;
        double r861874 = r861870 ? r861852 : r861873;
        return r861874;
}