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 r4426 = a;
        double r4427 = b;
        double r4428 = r4426 + r4427;
        double r4429 = c;
        double r4430 = r4428 + r4429;
        double r4431 = 2.0;
        double r4432 = r4430 / r4431;
        double r4433 = r4432 - r4426;
        double r4434 = r4432 * r4433;
        double r4435 = r4432 - r4427;
        double r4436 = r4434 * r4435;
        double r4437 = r4432 - r4429;
        double r4438 = r4436 * r4437;
        double r4439 = sqrt(r4438);
        return r4439;
}