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 r104288 = a;
        double r104289 = b;
        double r104290 = r104288 + r104289;
        double r104291 = c;
        double r104292 = r104290 + r104291;
        double r104293 = 2.0;
        double r104294 = r104292 / r104293;
        double r104295 = r104294 - r104288;
        double r104296 = r104294 * r104295;
        double r104297 = r104294 - r104289;
        double r104298 = r104296 * r104297;
        double r104299 = r104294 - r104291;
        double r104300 = r104298 * r104299;
        double r104301 = sqrt(r104300);
        return r104301;
}