Cannot sample enough valid points. (more)

\[0 \lt a \lt b + c \land 0 \lt b \lt a + c \land 0 \lt c \lt a + b\]
\[\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 r1556731 = a;
        double r1556732 = b;
        double r1556733 = r1556731 + r1556732;
        double r1556734 = c;
        double r1556735 = r1556733 + r1556734;
        double r1556736 = 2.0;
        double r1556737 = r1556735 / r1556736;
        double r1556738 = r1556737 - r1556731;
        double r1556739 = r1556737 * r1556738;
        double r1556740 = r1556737 - r1556732;
        double r1556741 = r1556739 * r1556740;
        double r1556742 = r1556737 - r1556734;
        double r1556743 = r1556741 * r1556742;
        double r1556744 = sqrt(r1556743);
        return r1556744;
}