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 r101397 = a;
        double r101398 = b;
        double r101399 = r101397 + r101398;
        double r101400 = c;
        double r101401 = r101399 + r101400;
        double r101402 = 2.0;
        double r101403 = r101401 / r101402;
        double r101404 = r101403 - r101397;
        double r101405 = r101403 * r101404;
        double r101406 = r101403 - r101398;
        double r101407 = r101405 * r101406;
        double r101408 = r101403 - r101400;
        double r101409 = r101407 * r101408;
        double r101410 = sqrt(r101409);
        return r101410;
}