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 r45548 = a;
        double r45549 = b;
        double r45550 = r45548 + r45549;
        double r45551 = c;
        double r45552 = r45550 + r45551;
        double r45553 = 2.0;
        double r45554 = r45552 / r45553;
        double r45555 = r45554 - r45548;
        double r45556 = r45554 * r45555;
        double r45557 = r45554 - r45549;
        double r45558 = r45556 * r45557;
        double r45559 = r45554 - r45551;
        double r45560 = r45558 * r45559;
        double r45561 = sqrt(r45560);
        return r45561;
}