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 r4473745 = a;
        double r4473746 = b;
        double r4473747 = r4473745 + r4473746;
        double r4473748 = c;
        double r4473749 = r4473747 + r4473748;
        double r4473750 = 2.0;
        double r4473751 = r4473749 / r4473750;
        double r4473752 = r4473751 - r4473745;
        double r4473753 = r4473751 * r4473752;
        double r4473754 = r4473751 - r4473746;
        double r4473755 = r4473753 * r4473754;
        double r4473756 = r4473751 - r4473748;
        double r4473757 = r4473755 * r4473756;
        double r4473758 = sqrt(r4473757);
        return r4473758;
}