Cannot sample enough valid points. (more)

\[0 \lt a \lt b + c \land 0 \lt b \lt a + c \land 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 r3045398 = a;
        double r3045399 = b;
        double r3045400 = r3045398 + r3045399;
        double r3045401 = c;
        double r3045402 = r3045400 + r3045401;
        double r3045403 = 2.0;
        double r3045404 = r3045402 / r3045403;
        double r3045405 = r3045404 - r3045398;
        double r3045406 = r3045404 * r3045405;
        double r3045407 = r3045404 - r3045399;
        double r3045408 = r3045406 * r3045407;
        double r3045409 = r3045404 - r3045401;
        double r3045410 = r3045408 * r3045409;
        double r3045411 = sqrt(r3045410);
        return r3045411;
}