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 r103004 = a;
        double r103005 = b;
        double r103006 = r103004 + r103005;
        double r103007 = c;
        double r103008 = r103006 + r103007;
        double r103009 = 2.0;
        double r103010 = r103008 / r103009;
        double r103011 = r103010 - r103004;
        double r103012 = r103010 * r103011;
        double r103013 = r103010 - r103005;
        double r103014 = r103012 * r103013;
        double r103015 = r103010 - r103007;
        double r103016 = r103014 * r103015;
        double r103017 = sqrt(r103016);
        return r103017;
}