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 r108358 = a;
        double r108359 = b;
        double r108360 = r108358 + r108359;
        double r108361 = c;
        double r108362 = r108360 + r108361;
        double r108363 = 2.0;
        double r108364 = r108362 / r108363;
        double r108365 = r108364 - r108358;
        double r108366 = r108364 * r108365;
        double r108367 = r108364 - r108359;
        double r108368 = r108366 * r108367;
        double r108369 = r108364 - r108361;
        double r108370 = r108368 * r108369;
        double r108371 = sqrt(r108370);
        return r108371;
}