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 r1166883 = a;
        double r1166884 = b;
        double r1166885 = r1166883 + r1166884;
        double r1166886 = c;
        double r1166887 = r1166885 + r1166886;
        double r1166888 = 2.0;
        double r1166889 = r1166887 / r1166888;
        double r1166890 = r1166889 - r1166883;
        double r1166891 = r1166889 * r1166890;
        double r1166892 = r1166889 - r1166884;
        double r1166893 = r1166891 * r1166892;
        double r1166894 = r1166889 - r1166886;
        double r1166895 = r1166893 * r1166894;
        double r1166896 = sqrt(r1166895);
        return r1166896;
}