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