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 r12495 = a;
        double r12496 = b;
        double r12497 = r12495 + r12496;
        double r12498 = c;
        double r12499 = r12497 + r12498;
        double r12500 = 2.0;
        double r12501 = r12499 / r12500;
        double r12502 = r12501 - r12495;
        double r12503 = r12501 * r12502;
        double r12504 = r12501 - r12496;
        double r12505 = r12503 * r12504;
        double r12506 = r12501 - r12498;
        double r12507 = r12505 * r12506;
        double r12508 = sqrt(r12507);
        return r12508;
}