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 r105993 = a;
        double r105994 = b;
        double r105995 = r105993 + r105994;
        double r105996 = c;
        double r105997 = r105995 + r105996;
        double r105998 = 2.0;
        double r105999 = r105997 / r105998;
        double r106000 = r105999 - r105993;
        double r106001 = r105999 * r106000;
        double r106002 = r105999 - r105994;
        double r106003 = r106001 * r106002;
        double r106004 = r105999 - r105996;
        double r106005 = r106003 * r106004;
        double r106006 = sqrt(r106005);
        return r106006;
}