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 r115618 = a;
        double r115619 = b;
        double r115620 = r115618 + r115619;
        double r115621 = c;
        double r115622 = r115620 + r115621;
        double r115623 = 2.0;
        double r115624 = r115622 / r115623;
        double r115625 = r115624 - r115618;
        double r115626 = r115624 * r115625;
        double r115627 = r115624 - r115619;
        double r115628 = r115626 * r115627;
        double r115629 = r115624 - r115621;
        double r115630 = r115628 * r115629;
        double r115631 = sqrt(r115630);
        return r115631;
}