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 r63455 = a;
        double r63456 = b;
        double r63457 = r63455 + r63456;
        double r63458 = c;
        double r63459 = r63457 + r63458;
        double r63460 = 2.0;
        double r63461 = r63459 / r63460;
        double r63462 = r63461 - r63455;
        double r63463 = r63461 * r63462;
        double r63464 = r63461 - r63456;
        double r63465 = r63463 * r63464;
        double r63466 = r63461 - r63458;
        double r63467 = r63465 * r63466;
        double r63468 = sqrt(r63467);
        return r63468;
}