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 r1030693 = y;
        double r1030694 = r1030693 * r1030693;
        double r1030695 = 1.0;
        double r1030696 = r1030694 + r1030695;
        double r1030697 = sqrt(r1030696);
        double r1030698 = r1030693 - r1030697;
        double r1030699 = fabs(r1030698);
        double r1030700 = r1030693 + r1030697;
        double r1030701 = r1030695 / r1030700;
        double r1030702 = r1030699 - r1030701;
        double r1030703 = r1030702 * r1030702;
        double r1030704 = 10.0;
        double r1030705 = -300.0;
        double r1030706 = pow(r1030704, r1030705);
        double r1030707 = 10000.0;
        double r1030708 = r1030693 + r1030695;
        double r1030709 = r1030707 * r1030708;
        double r1030710 = pow(r1030706, r1030709);
        double r1030711 = r1030703 + r1030710;
        double r1030712 = 0.0;
        double r1030713 = r1030711 == r1030712;
        double r1030714 = exp(r1030711);
        double r1030715 = r1030714 - r1030695;
        double r1030716 = r1030715 / r1030711;
        double r1030717 = r1030713 ? r1030695 : r1030716;
        return r1030717;
}