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 r47715 = a;
        double r47716 = b;
        double r47717 = r47715 + r47716;
        double r47718 = c;
        double r47719 = r47717 + r47718;
        double r47720 = 2.0;
        double r47721 = r47719 / r47720;
        double r47722 = r47721 - r47715;
        double r47723 = r47721 * r47722;
        double r47724 = r47721 - r47716;
        double r47725 = r47723 * r47724;
        double r47726 = r47721 - r47718;
        double r47727 = r47725 * r47726;
        double r47728 = sqrt(r47727);
        return r47728;
}