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 r72426 = a;
        double r72427 = b;
        double r72428 = r72426 + r72427;
        double r72429 = c;
        double r72430 = r72428 + r72429;
        double r72431 = 2.0;
        double r72432 = r72430 / r72431;
        double r72433 = r72432 - r72426;
        double r72434 = r72432 * r72433;
        double r72435 = r72432 - r72427;
        double r72436 = r72434 * r72435;
        double r72437 = r72432 - r72429;
        double r72438 = r72436 * r72437;
        double r72439 = sqrt(r72438);
        return r72439;
}