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 r4707419 = a;
        double r4707420 = b;
        double r4707421 = r4707419 + r4707420;
        double r4707422 = c;
        double r4707423 = r4707421 + r4707422;
        double r4707424 = 2.0;
        double r4707425 = r4707423 / r4707424;
        double r4707426 = r4707425 - r4707419;
        double r4707427 = r4707425 * r4707426;
        double r4707428 = r4707425 - r4707420;
        double r4707429 = r4707427 * r4707428;
        double r4707430 = r4707425 - r4707422;
        double r4707431 = r4707429 * r4707430;
        double r4707432 = sqrt(r4707431);
        return r4707432;
}