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 r71957 = a;
        double r71958 = b;
        double r71959 = r71957 + r71958;
        double r71960 = c;
        double r71961 = r71959 + r71960;
        double r71962 = 2.0;
        double r71963 = r71961 / r71962;
        double r71964 = r71963 - r71957;
        double r71965 = r71963 * r71964;
        double r71966 = r71963 - r71958;
        double r71967 = r71965 * r71966;
        double r71968 = r71963 - r71960;
        double r71969 = r71967 * r71968;
        double r71970 = sqrt(r71969);
        return r71970;
}