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 r111931 = a;
        double r111932 = b;
        double r111933 = r111931 + r111932;
        double r111934 = c;
        double r111935 = r111933 + r111934;
        double r111936 = 2.0;
        double r111937 = r111935 / r111936;
        double r111938 = r111937 - r111931;
        double r111939 = r111937 * r111938;
        double r111940 = r111937 - r111932;
        double r111941 = r111939 * r111940;
        double r111942 = r111937 - r111934;
        double r111943 = r111941 * r111942;
        double r111944 = sqrt(r111943);
        return r111944;
}