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 r71547 = a;
        double r71548 = b;
        double r71549 = r71547 + r71548;
        double r71550 = c;
        double r71551 = r71549 + r71550;
        double r71552 = 2.0;
        double r71553 = r71551 / r71552;
        double r71554 = r71553 - r71547;
        double r71555 = r71553 * r71554;
        double r71556 = r71553 - r71548;
        double r71557 = r71555 * r71556;
        double r71558 = r71553 - r71550;
        double r71559 = r71557 * r71558;
        double r71560 = sqrt(r71559);
        return r71560;
}