Cannot sample enough valid points. (more)

\[0.0 \lt a \lt b + c \land 0.0 \lt b \lt a + c \land 0.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 r131685 = a;
        double r131686 = b;
        double r131687 = r131685 + r131686;
        double r131688 = c;
        double r131689 = r131687 + r131688;
        double r131690 = 2.0;
        double r131691 = r131689 / r131690;
        double r131692 = r131691 - r131685;
        double r131693 = r131691 * r131692;
        double r131694 = r131691 - r131686;
        double r131695 = r131693 * r131694;
        double r131696 = r131691 - r131688;
        double r131697 = r131695 * r131696;
        double r131698 = sqrt(r131697);
        return r131698;
}