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 r105056 = a;
        double r105057 = b;
        double r105058 = r105056 + r105057;
        double r105059 = c;
        double r105060 = r105058 + r105059;
        double r105061 = 2.0;
        double r105062 = r105060 / r105061;
        double r105063 = r105062 - r105056;
        double r105064 = r105062 * r105063;
        double r105065 = r105062 - r105057;
        double r105066 = r105064 * r105065;
        double r105067 = r105062 - r105059;
        double r105068 = r105066 * r105067;
        double r105069 = sqrt(r105068);
        return r105069;
}