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 r8510 = a;
        double r8511 = b;
        double r8512 = r8510 + r8511;
        double r8513 = c;
        double r8514 = r8512 + r8513;
        double r8515 = 2.0;
        double r8516 = r8514 / r8515;
        double r8517 = r8516 - r8510;
        double r8518 = r8516 * r8517;
        double r8519 = r8516 - r8511;
        double r8520 = r8518 * r8519;
        double r8521 = r8516 - r8513;
        double r8522 = r8520 * r8521;
        double r8523 = sqrt(r8522);
        return r8523;
}