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 r20254 = a;
        double r20255 = b;
        double r20256 = r20254 + r20255;
        double r20257 = c;
        double r20258 = r20256 + r20257;
        double r20259 = 2.0;
        double r20260 = r20258 / r20259;
        double r20261 = r20260 - r20254;
        double r20262 = r20260 * r20261;
        double r20263 = r20260 - r20255;
        double r20264 = r20262 * r20263;
        double r20265 = r20260 - r20257;
        double r20266 = r20264 * r20265;
        double r20267 = sqrt(r20266);
        return r20267;
}