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 r4180836 = a;
        double r4180837 = b;
        double r4180838 = r4180836 + r4180837;
        double r4180839 = c;
        double r4180840 = r4180838 + r4180839;
        double r4180841 = 2.0;
        double r4180842 = r4180840 / r4180841;
        double r4180843 = r4180842 - r4180836;
        double r4180844 = r4180842 * r4180843;
        double r4180845 = r4180842 - r4180837;
        double r4180846 = r4180844 * r4180845;
        double r4180847 = r4180842 - r4180839;
        double r4180848 = r4180846 * r4180847;
        double r4180849 = sqrt(r4180848);
        return r4180849;
}