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 r16958683 = a;
        double r16958684 = b;
        double r16958685 = r16958683 + r16958684;
        double r16958686 = c;
        double r16958687 = r16958685 + r16958686;
        double r16958688 = 2.0;
        double r16958689 = r16958687 / r16958688;
        double r16958690 = r16958689 - r16958683;
        double r16958691 = r16958689 * r16958690;
        double r16958692 = r16958689 - r16958684;
        double r16958693 = r16958691 * r16958692;
        double r16958694 = r16958689 - r16958686;
        double r16958695 = r16958693 * r16958694;
        double r16958696 = sqrt(r16958695);
        return r16958696;
}