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 r4944 = a;
        double r4945 = b;
        double r4946 = r4944 + r4945;
        double r4947 = c;
        double r4948 = r4946 + r4947;
        double r4949 = 2.0;
        double r4950 = r4948 / r4949;
        double r4951 = r4950 - r4944;
        double r4952 = r4950 * r4951;
        double r4953 = r4950 - r4945;
        double r4954 = r4952 * r4953;
        double r4955 = r4950 - r4947;
        double r4956 = r4954 * r4955;
        double r4957 = sqrt(r4956);
        return r4957;
}