Cannot sample enough valid points. (more)

\[0.0 \lt a \land 0.0 \lt b \land 0.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 r17932 = a;
        double r17933 = b;
        double r17934 = r17932 + r17933;
        double r17935 = c;
        double r17936 = r17934 + r17935;
        double r17937 = 2.0;
        double r17938 = r17936 / r17937;
        double r17939 = r17938 - r17932;
        double r17940 = r17938 * r17939;
        double r17941 = r17938 - r17933;
        double r17942 = r17940 * r17941;
        double r17943 = r17938 - r17935;
        double r17944 = r17942 * r17943;
        double r17945 = sqrt(r17944);
        return r17945;
}