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 r3855359 = a;
        double r3855360 = b;
        double r3855361 = r3855359 + r3855360;
        double r3855362 = c;
        double r3855363 = r3855361 + r3855362;
        double r3855364 = 2.0;
        double r3855365 = r3855363 / r3855364;
        double r3855366 = r3855365 - r3855359;
        double r3855367 = r3855365 * r3855366;
        double r3855368 = r3855365 - r3855360;
        double r3855369 = r3855367 * r3855368;
        double r3855370 = r3855365 - r3855362;
        double r3855371 = r3855369 * r3855370;
        double r3855372 = sqrt(r3855371);
        return r3855372;
}