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 r129423 = a;
        double r129424 = b;
        double r129425 = r129423 + r129424;
        double r129426 = c;
        double r129427 = r129425 + r129426;
        double r129428 = 2.0;
        double r129429 = r129427 / r129428;
        double r129430 = r129429 - r129423;
        double r129431 = r129429 * r129430;
        double r129432 = r129429 - r129424;
        double r129433 = r129431 * r129432;
        double r129434 = r129429 - r129426;
        double r129435 = r129433 * r129434;
        double r129436 = sqrt(r129435);
        return r129436;
}