Cannot sample enough valid points. (more)

\[x \cdot \sqrt{y \cdot y - z \cdot z}\]
x \cdot \sqrt{y \cdot y - z \cdot z}
double f(double x, double y, double z) {
        double r508135 = x;
        double r508136 = y;
        double r508137 = r508136 * r508136;
        double r508138 = z;
        double r508139 = r508138 * r508138;
        double r508140 = r508137 - r508139;
        double r508141 = sqrt(r508140);
        double r508142 = r508135 * r508141;
        return r508142;
}