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 r944740 = a;
        double r944741 = b;
        double r944742 = r944740 + r944741;
        double r944743 = c;
        double r944744 = r944742 + r944743;
        double r944745 = 2.0;
        double r944746 = r944744 / r944745;
        double r944747 = r944746 - r944740;
        double r944748 = r944746 * r944747;
        double r944749 = r944746 - r944741;
        double r944750 = r944748 * r944749;
        double r944751 = r944746 - r944743;
        double r944752 = r944750 * r944751;
        double r944753 = sqrt(r944752);
        return r944753;
}