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 r88421 = a;
        double r88422 = b;
        double r88423 = r88421 + r88422;
        double r88424 = c;
        double r88425 = r88423 + r88424;
        double r88426 = 2.0;
        double r88427 = r88425 / r88426;
        double r88428 = r88427 - r88421;
        double r88429 = r88427 * r88428;
        double r88430 = r88427 - r88422;
        double r88431 = r88429 * r88430;
        double r88432 = r88427 - r88424;
        double r88433 = r88431 * r88432;
        double r88434 = sqrt(r88433);
        return r88434;
}