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 r5369745 = a;
        double r5369746 = b;
        double r5369747 = r5369745 + r5369746;
        double r5369748 = c;
        double r5369749 = r5369747 + r5369748;
        double r5369750 = 2.0;
        double r5369751 = r5369749 / r5369750;
        double r5369752 = r5369751 - r5369745;
        double r5369753 = r5369751 * r5369752;
        double r5369754 = r5369751 - r5369746;
        double r5369755 = r5369753 * r5369754;
        double r5369756 = r5369751 - r5369748;
        double r5369757 = r5369755 * r5369756;
        double r5369758 = sqrt(r5369757);
        return r5369758;
}