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 r8099 = a;
        double r8100 = b;
        double r8101 = r8099 + r8100;
        double r8102 = c;
        double r8103 = r8101 + r8102;
        double r8104 = 2.0;
        double r8105 = r8103 / r8104;
        double r8106 = r8105 - r8099;
        double r8107 = r8105 * r8106;
        double r8108 = r8105 - r8100;
        double r8109 = r8107 * r8108;
        double r8110 = r8105 - r8102;
        double r8111 = r8109 * r8110;
        double r8112 = sqrt(r8111);
        return r8112;
}