Cannot sample enough valid points. (more)

\[0.0 \lt a \land 0.0 \lt b \land 0.0 \lt c\]
\[\sqrt{\left(\left(\frac{\left(a + b\right) + c}{2} \cdot \left(\frac{\left(a + b\right) + c}{2} - a\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2} - b\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2} - c\right)}\]
\sqrt{\left(\left(\frac{\left(a + b\right) + c}{2} \cdot \left(\frac{\left(a + b\right) + c}{2} - a\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2} - b\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2} - c\right)}
double f(double a, double b, double c) {
        double r1043011 = a;
        double r1043012 = b;
        double r1043013 = r1043011 + r1043012;
        double r1043014 = c;
        double r1043015 = r1043013 + r1043014;
        double r1043016 = 2.0;
        double r1043017 = r1043015 / r1043016;
        double r1043018 = r1043017 - r1043011;
        double r1043019 = r1043017 * r1043018;
        double r1043020 = r1043017 - r1043012;
        double r1043021 = r1043019 * r1043020;
        double r1043022 = r1043017 - r1043014;
        double r1043023 = r1043021 * r1043022;
        double r1043024 = sqrt(r1043023);
        return r1043024;
}