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 r10923981 = a;
        double r10923982 = b;
        double r10923983 = r10923981 + r10923982;
        double r10923984 = c;
        double r10923985 = r10923983 + r10923984;
        double r10923986 = 2.0;
        double r10923987 = r10923985 / r10923986;
        double r10923988 = r10923987 - r10923981;
        double r10923989 = r10923987 * r10923988;
        double r10923990 = r10923987 - r10923982;
        double r10923991 = r10923989 * r10923990;
        double r10923992 = r10923987 - r10923984;
        double r10923993 = r10923991 * r10923992;
        double r10923994 = sqrt(r10923993);
        return r10923994;
}