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 r5004 = a;
        double r5005 = b;
        double r5006 = r5004 + r5005;
        double r5007 = c;
        double r5008 = r5006 + r5007;
        double r5009 = 2.0;
        double r5010 = r5008 / r5009;
        double r5011 = r5010 - r5004;
        double r5012 = r5010 * r5011;
        double r5013 = r5010 - r5005;
        double r5014 = r5012 * r5013;
        double r5015 = r5010 - r5007;
        double r5016 = r5014 * r5015;
        double r5017 = sqrt(r5016);
        return r5017;
}