Cannot sample enough valid points. (more)

\[0 \lt a \land 0 \lt b \land 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 r1007227 = a;
        double r1007228 = b;
        double r1007229 = r1007227 + r1007228;
        double r1007230 = c;
        double r1007231 = r1007229 + r1007230;
        double r1007232 = 2.0;
        double r1007233 = r1007231 / r1007232;
        double r1007234 = r1007233 - r1007227;
        double r1007235 = r1007233 * r1007234;
        double r1007236 = r1007233 - r1007228;
        double r1007237 = r1007235 * r1007236;
        double r1007238 = r1007233 - r1007230;
        double r1007239 = r1007237 * r1007238;
        double r1007240 = sqrt(r1007239);
        return r1007240;
}