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 r20440 = a;
        double r20441 = b;
        double r20442 = r20440 + r20441;
        double r20443 = c;
        double r20444 = r20442 + r20443;
        double r20445 = 2.0;
        double r20446 = r20444 / r20445;
        double r20447 = r20446 - r20440;
        double r20448 = r20446 * r20447;
        double r20449 = r20446 - r20441;
        double r20450 = r20448 * r20449;
        double r20451 = r20446 - r20443;
        double r20452 = r20450 * r20451;
        double r20453 = sqrt(r20452);
        return r20453;
}