Cannot sample enough valid points. (more)

\[0.0 \lt a \land 0.0 \lt b \land 0.0 \lt c\]
\[\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 r13081 = a;
        double r13082 = b;
        double r13083 = r13081 + r13082;
        double r13084 = c;
        double r13085 = r13083 + r13084;
        double r13086 = 2.0;
        double r13087 = r13085 / r13086;
        double r13088 = r13087 - r13081;
        double r13089 = r13087 * r13088;
        double r13090 = r13087 - r13082;
        double r13091 = r13089 * r13090;
        double r13092 = r13087 - r13084;
        double r13093 = r13091 * r13092;
        double r13094 = sqrt(r13093);
        return r13094;
}