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 r4678614 = a;
        double r4678615 = b;
        double r4678616 = r4678614 + r4678615;
        double r4678617 = c;
        double r4678618 = r4678616 + r4678617;
        double r4678619 = 2.0;
        double r4678620 = r4678618 / r4678619;
        double r4678621 = r4678620 - r4678614;
        double r4678622 = r4678620 * r4678621;
        double r4678623 = r4678620 - r4678615;
        double r4678624 = r4678622 * r4678623;
        double r4678625 = r4678620 - r4678617;
        double r4678626 = r4678624 * r4678625;
        double r4678627 = sqrt(r4678626);
        return r4678627;
}