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 r62700 = a;
        double r62701 = b;
        double r62702 = r62700 + r62701;
        double r62703 = c;
        double r62704 = r62702 + r62703;
        double r62705 = 2.0;
        double r62706 = r62704 / r62705;
        double r62707 = r62706 - r62700;
        double r62708 = r62706 * r62707;
        double r62709 = r62706 - r62701;
        double r62710 = r62708 * r62709;
        double r62711 = r62706 - r62703;
        double r62712 = r62710 * r62711;
        double r62713 = sqrt(r62712);
        return r62713;
}