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 r10028 = a;
        double r10029 = b;
        double r10030 = r10028 + r10029;
        double r10031 = c;
        double r10032 = r10030 + r10031;
        double r10033 = 2.0;
        double r10034 = r10032 / r10033;
        double r10035 = r10034 - r10028;
        double r10036 = r10034 * r10035;
        double r10037 = r10034 - r10029;
        double r10038 = r10036 * r10037;
        double r10039 = r10034 - r10031;
        double r10040 = r10038 * r10039;
        double r10041 = sqrt(r10040);
        return r10041;
}