Cannot sample enough valid points. (more)

\[0 \lt a \land 0 \lt b \land 0 \lt c\]
\[\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 r1270880 = a;
        double r1270881 = b;
        double r1270882 = r1270880 + r1270881;
        double r1270883 = c;
        double r1270884 = r1270882 + r1270883;
        double r1270885 = 2.0;
        double r1270886 = r1270884 / r1270885;
        double r1270887 = r1270886 - r1270880;
        double r1270888 = r1270886 * r1270887;
        double r1270889 = r1270886 - r1270881;
        double r1270890 = r1270888 * r1270889;
        double r1270891 = r1270886 - r1270883;
        double r1270892 = r1270890 * r1270891;
        double r1270893 = sqrt(r1270892);
        return r1270893;
}