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 r124480 = a;
        double r124481 = b;
        double r124482 = r124480 + r124481;
        double r124483 = c;
        double r124484 = r124482 + r124483;
        double r124485 = 2.0;
        double r124486 = r124484 / r124485;
        double r124487 = r124486 - r124480;
        double r124488 = r124486 * r124487;
        double r124489 = r124486 - r124481;
        double r124490 = r124488 * r124489;
        double r124491 = r124486 - r124483;
        double r124492 = r124490 * r124491;
        double r124493 = sqrt(r124492);
        return r124493;
}