Cannot sample enough valid points. (more)

\[0 \lt a \land 0 \lt b \land 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 r978747 = a;
        double r978748 = b;
        double r978749 = r978747 + r978748;
        double r978750 = c;
        double r978751 = r978749 + r978750;
        double r978752 = 2.0;
        double r978753 = r978751 / r978752;
        double r978754 = r978753 - r978747;
        double r978755 = r978753 * r978754;
        double r978756 = r978753 - r978748;
        double r978757 = r978755 * r978756;
        double r978758 = r978753 - r978750;
        double r978759 = r978757 * r978758;
        double r978760 = sqrt(r978759);
        return r978760;
}