Cannot sample enough valid points. (more)

\[0.0 \lt a \land 0.0 \lt b \land 0.0 \lt c\]
\[\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 r3568 = a;
        double r3569 = b;
        double r3570 = r3568 + r3569;
        double r3571 = c;
        double r3572 = r3570 + r3571;
        double r3573 = 2.0;
        double r3574 = r3572 / r3573;
        double r3575 = r3574 - r3568;
        double r3576 = r3574 * r3575;
        double r3577 = r3574 - r3569;
        double r3578 = r3576 * r3577;
        double r3579 = r3574 - r3571;
        double r3580 = r3578 * r3579;
        double r3581 = sqrt(r3580);
        return r3581;
}