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 r9735 = a;
        double r9736 = b;
        double r9737 = r9735 + r9736;
        double r9738 = c;
        double r9739 = r9737 + r9738;
        double r9740 = 2.0;
        double r9741 = r9739 / r9740;
        double r9742 = r9741 - r9735;
        double r9743 = r9741 * r9742;
        double r9744 = r9741 - r9736;
        double r9745 = r9743 * r9744;
        double r9746 = r9741 - r9738;
        double r9747 = r9745 * r9746;
        double r9748 = sqrt(r9747);
        return r9748;
}