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 r16773 = a;
        double r16774 = b;
        double r16775 = r16773 + r16774;
        double r16776 = c;
        double r16777 = r16775 + r16776;
        double r16778 = 2.0;
        double r16779 = r16777 / r16778;
        double r16780 = r16779 - r16773;
        double r16781 = r16779 * r16780;
        double r16782 = r16779 - r16774;
        double r16783 = r16781 * r16782;
        double r16784 = r16779 - r16776;
        double r16785 = r16783 * r16784;
        double r16786 = sqrt(r16785);
        return r16786;
}