Cannot sample enough valid points. (more)

\[gz \ge 0.0 \cdot gz \land 0.0 \cdot gz \le 1 \cdot vz \land 1 \cdot vz \ge \left(-1\right) \cdot vz \land \left(-1\right) \cdot vz \le 1 \cdot vx \land 1 \cdot vx \ge \left(-1\right) \cdot vx \land \left(-1\right) \cdot vx \le 1\]
\[\frac{\left(-\left(\left(az - dz\right) - \frac{vz}{vx} \cdot \left(ax - dx\right)\right)\right) - \left(\left(bz - az\right) - \frac{vz}{vx} \cdot \left(bx - ax\right)\right) \cdot gz}{\left(\left(dz - cz\right) - \left(bz - az\right)\right) - \frac{vz}{vx} \cdot \left(\left(dx - cx\right) - \left(bx - ax\right)\right)} \cdot gz + \left(\left(cz - az\right) - \frac{vz}{vx} \cdot \left(cx - ax\right)\right)\]
\frac{\left(-\left(\left(az - dz\right) - \frac{vz}{vx} \cdot \left(ax - dx\right)\right)\right) - \left(\left(bz - az\right) - \frac{vz}{vx} \cdot \left(bx - ax\right)\right) \cdot gz}{\left(\left(dz - cz\right) - \left(bz - az\right)\right) - \frac{vz}{vx} \cdot \left(\left(dx - cx\right) - \left(bx - ax\right)\right)} \cdot gz + \left(\left(cz - az\right) - \frac{vz}{vx} \cdot \left(cx - ax\right)\right)
double f(double az, double dz, double vz, double vx, double ax, double dx, double bz, double bx, double gz, double cz, double cx) {
        double r3209839 = az;
        double r3209840 = dz;
        double r3209841 = r3209839 - r3209840;
        double r3209842 = vz;
        double r3209843 = vx;
        double r3209844 = r3209842 / r3209843;
        double r3209845 = ax;
        double r3209846 = dx;
        double r3209847 = r3209845 - r3209846;
        double r3209848 = r3209844 * r3209847;
        double r3209849 = r3209841 - r3209848;
        double r3209850 = -r3209849;
        double r3209851 = bz;
        double r3209852 = r3209851 - r3209839;
        double r3209853 = bx;
        double r3209854 = r3209853 - r3209845;
        double r3209855 = r3209844 * r3209854;
        double r3209856 = r3209852 - r3209855;
        double r3209857 = gz;
        double r3209858 = r3209856 * r3209857;
        double r3209859 = r3209850 - r3209858;
        double r3209860 = cz;
        double r3209861 = r3209840 - r3209860;
        double r3209862 = r3209861 - r3209852;
        double r3209863 = cx;
        double r3209864 = r3209846 - r3209863;
        double r3209865 = r3209864 - r3209854;
        double r3209866 = r3209844 * r3209865;
        double r3209867 = r3209862 - r3209866;
        double r3209868 = r3209859 / r3209867;
        double r3209869 = r3209868 * r3209857;
        double r3209870 = r3209860 - r3209839;
        double r3209871 = r3209863 - r3209845;
        double r3209872 = r3209844 * r3209871;
        double r3209873 = r3209870 - r3209872;
        double r3209874 = r3209869 + r3209873;
        return r3209874;
}