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 r12512 = a;
        double r12513 = b;
        double r12514 = r12512 + r12513;
        double r12515 = c;
        double r12516 = r12514 + r12515;
        double r12517 = 2.0;
        double r12518 = r12516 / r12517;
        double r12519 = r12518 - r12512;
        double r12520 = r12518 * r12519;
        double r12521 = r12518 - r12513;
        double r12522 = r12520 * r12521;
        double r12523 = r12518 - r12515;
        double r12524 = r12522 * r12523;
        double r12525 = sqrt(r12524);
        return r12525;
}