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 r80435 = a;
        double r80436 = b;
        double r80437 = r80435 + r80436;
        double r80438 = c;
        double r80439 = r80437 + r80438;
        double r80440 = 2.0;
        double r80441 = r80439 / r80440;
        double r80442 = r80441 - r80435;
        double r80443 = r80441 * r80442;
        double r80444 = r80441 - r80436;
        double r80445 = r80443 * r80444;
        double r80446 = r80441 - r80438;
        double r80447 = r80445 * r80446;
        double r80448 = sqrt(r80447);
        return r80448;
}