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 r13730 = a;
        double r13731 = b;
        double r13732 = r13730 + r13731;
        double r13733 = c;
        double r13734 = r13732 + r13733;
        double r13735 = 2.0;
        double r13736 = r13734 / r13735;
        double r13737 = r13736 - r13730;
        double r13738 = r13736 * r13737;
        double r13739 = r13736 - r13731;
        double r13740 = r13738 * r13739;
        double r13741 = r13736 - r13733;
        double r13742 = r13740 * r13741;
        double r13743 = sqrt(r13742);
        return r13743;
}