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 r16929 = a;
        double r16930 = b;
        double r16931 = r16929 + r16930;
        double r16932 = c;
        double r16933 = r16931 + r16932;
        double r16934 = 2.0;
        double r16935 = r16933 / r16934;
        double r16936 = r16935 - r16929;
        double r16937 = r16935 * r16936;
        double r16938 = r16935 - r16930;
        double r16939 = r16937 * r16938;
        double r16940 = r16935 - r16932;
        double r16941 = r16939 * r16940;
        double r16942 = sqrt(r16941);
        return r16942;
}