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 r74958 = a;
        double r74959 = b;
        double r74960 = r74958 + r74959;
        double r74961 = c;
        double r74962 = r74960 + r74961;
        double r74963 = 2.0;
        double r74964 = r74962 / r74963;
        double r74965 = r74964 - r74958;
        double r74966 = r74964 * r74965;
        double r74967 = r74964 - r74959;
        double r74968 = r74966 * r74967;
        double r74969 = r74964 - r74961;
        double r74970 = r74968 * r74969;
        double r74971 = sqrt(r74970);
        return r74971;
}