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 r4781 = a;
        double r4782 = b;
        double r4783 = r4781 + r4782;
        double r4784 = c;
        double r4785 = r4783 + r4784;
        double r4786 = 2.0;
        double r4787 = r4785 / r4786;
        double r4788 = r4787 - r4781;
        double r4789 = r4787 * r4788;
        double r4790 = r4787 - r4782;
        double r4791 = r4789 * r4790;
        double r4792 = r4787 - r4784;
        double r4793 = r4791 * r4792;
        double r4794 = sqrt(r4793);
        return r4794;
}