Cannot sample enough valid points. (more)

\[0 \lt a \lt b + c \land 0 \lt b \lt a + c \land 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 r4123433 = a;
        double r4123434 = b;
        double r4123435 = r4123433 + r4123434;
        double r4123436 = c;
        double r4123437 = r4123435 + r4123436;
        double r4123438 = 2.0;
        double r4123439 = r4123437 / r4123438;
        double r4123440 = r4123439 - r4123433;
        double r4123441 = r4123439 * r4123440;
        double r4123442 = r4123439 - r4123434;
        double r4123443 = r4123441 * r4123442;
        double r4123444 = r4123439 - r4123436;
        double r4123445 = r4123443 * r4123444;
        double r4123446 = sqrt(r4123445);
        return r4123446;
}