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 r12219 = a;
        double r12220 = b;
        double r12221 = r12219 + r12220;
        double r12222 = c;
        double r12223 = r12221 + r12222;
        double r12224 = 2.0;
        double r12225 = r12223 / r12224;
        double r12226 = r12225 - r12219;
        double r12227 = r12225 * r12226;
        double r12228 = r12225 - r12220;
        double r12229 = r12227 * r12228;
        double r12230 = r12225 - r12222;
        double r12231 = r12229 * r12230;
        double r12232 = sqrt(r12231);
        return r12232;
}