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 r60829 = a;
        double r60830 = b;
        double r60831 = r60829 + r60830;
        double r60832 = c;
        double r60833 = r60831 + r60832;
        double r60834 = 2.0;
        double r60835 = r60833 / r60834;
        double r60836 = r60835 - r60829;
        double r60837 = r60835 * r60836;
        double r60838 = r60835 - r60830;
        double r60839 = r60837 * r60838;
        double r60840 = r60835 - r60832;
        double r60841 = r60839 * r60840;
        double r60842 = sqrt(r60841);
        return r60842;
}