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 r4964532 = a;
        double r4964533 = b;
        double r4964534 = r4964532 + r4964533;
        double r4964535 = c;
        double r4964536 = r4964534 + r4964535;
        double r4964537 = 2.0;
        double r4964538 = r4964536 / r4964537;
        double r4964539 = r4964538 - r4964532;
        double r4964540 = r4964538 * r4964539;
        double r4964541 = r4964538 - r4964533;
        double r4964542 = r4964540 * r4964541;
        double r4964543 = r4964538 - r4964535;
        double r4964544 = r4964542 * r4964543;
        double r4964545 = sqrt(r4964544);
        return r4964545;
}