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 r5795 = a;
        double r5796 = b;
        double r5797 = r5795 + r5796;
        double r5798 = c;
        double r5799 = r5797 + r5798;
        double r5800 = 2.0;
        double r5801 = r5799 / r5800;
        double r5802 = r5801 - r5795;
        double r5803 = r5801 * r5802;
        double r5804 = r5801 - r5796;
        double r5805 = r5803 * r5804;
        double r5806 = r5801 - r5798;
        double r5807 = r5805 * r5806;
        double r5808 = sqrt(r5807);
        return r5808;
}