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 r8560 = a;
        double r8561 = b;
        double r8562 = r8560 + r8561;
        double r8563 = c;
        double r8564 = r8562 + r8563;
        double r8565 = 2.0;
        double r8566 = r8564 / r8565;
        double r8567 = r8566 - r8560;
        double r8568 = r8566 * r8567;
        double r8569 = r8566 - r8561;
        double r8570 = r8568 * r8569;
        double r8571 = r8566 - r8563;
        double r8572 = r8570 * r8571;
        double r8573 = sqrt(r8572);
        return r8573;
}