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 r100573 = a;
        double r100574 = b;
        double r100575 = r100573 + r100574;
        double r100576 = c;
        double r100577 = r100575 + r100576;
        double r100578 = 2.0;
        double r100579 = r100577 / r100578;
        double r100580 = r100579 - r100573;
        double r100581 = r100579 * r100580;
        double r100582 = r100579 - r100574;
        double r100583 = r100581 * r100582;
        double r100584 = r100579 - r100576;
        double r100585 = r100583 * r100584;
        double r100586 = sqrt(r100585);
        return r100586;
}