Cannot sample enough valid points. (more)

\[0 \lt a \lt b + c \land 0 \lt b \lt a + c \land 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 r16341385 = a;
        double r16341386 = b;
        double r16341387 = r16341385 + r16341386;
        double r16341388 = c;
        double r16341389 = r16341387 + r16341388;
        double r16341390 = 2.0;
        double r16341391 = r16341389 / r16341390;
        double r16341392 = r16341391 - r16341385;
        double r16341393 = r16341391 * r16341392;
        double r16341394 = r16341391 - r16341386;
        double r16341395 = r16341393 * r16341394;
        double r16341396 = r16341391 - r16341388;
        double r16341397 = r16341395 * r16341396;
        double r16341398 = sqrt(r16341397);
        return r16341398;
}