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 r8930 = a;
        double r8931 = b;
        double r8932 = r8930 + r8931;
        double r8933 = c;
        double r8934 = r8932 + r8933;
        double r8935 = 2.0;
        double r8936 = r8934 / r8935;
        double r8937 = r8936 - r8930;
        double r8938 = r8936 * r8937;
        double r8939 = r8936 - r8931;
        double r8940 = r8938 * r8939;
        double r8941 = r8936 - r8933;
        double r8942 = r8940 * r8941;
        double r8943 = sqrt(r8942);
        return r8943;
}