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 r5535459 = a;
        double r5535460 = b;
        double r5535461 = r5535459 + r5535460;
        double r5535462 = c;
        double r5535463 = r5535461 + r5535462;
        double r5535464 = 2.0;
        double r5535465 = r5535463 / r5535464;
        double r5535466 = r5535465 - r5535459;
        double r5535467 = r5535465 * r5535466;
        double r5535468 = r5535465 - r5535460;
        double r5535469 = r5535467 * r5535468;
        double r5535470 = r5535465 - r5535462;
        double r5535471 = r5535469 * r5535470;
        double r5535472 = sqrt(r5535471);
        return r5535472;
}