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 r5593400 = a;
        double r5593401 = b;
        double r5593402 = r5593400 + r5593401;
        double r5593403 = c;
        double r5593404 = r5593402 + r5593403;
        double r5593405 = 2.0;
        double r5593406 = r5593404 / r5593405;
        double r5593407 = r5593406 - r5593400;
        double r5593408 = r5593406 * r5593407;
        double r5593409 = r5593406 - r5593401;
        double r5593410 = r5593408 * r5593409;
        double r5593411 = r5593406 - r5593403;
        double r5593412 = r5593410 * r5593411;
        double r5593413 = sqrt(r5593412);
        return r5593413;
}