Cannot sample enough valid points. (more)

\[0 \lt a \lt b + c \land 0 \lt b \lt a + c \land 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 r4738884 = a;
        double r4738885 = b;
        double r4738886 = r4738884 + r4738885;
        double r4738887 = c;
        double r4738888 = r4738886 + r4738887;
        double r4738889 = 2.0;
        double r4738890 = r4738888 / r4738889;
        double r4738891 = r4738890 - r4738884;
        double r4738892 = r4738890 * r4738891;
        double r4738893 = r4738890 - r4738885;
        double r4738894 = r4738892 * r4738893;
        double r4738895 = r4738890 - r4738887;
        double r4738896 = r4738894 * r4738895;
        double r4738897 = sqrt(r4738896);
        return r4738897;
}