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 r112762 = a;
        double r112763 = b;
        double r112764 = r112762 + r112763;
        double r112765 = c;
        double r112766 = r112764 + r112765;
        double r112767 = 2.0;
        double r112768 = r112766 / r112767;
        double r112769 = r112768 - r112762;
        double r112770 = r112768 * r112769;
        double r112771 = r112768 - r112763;
        double r112772 = r112770 * r112771;
        double r112773 = r112768 - r112765;
        double r112774 = r112772 * r112773;
        double r112775 = sqrt(r112774);
        return r112775;
}