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 r19733 = a;
        double r19734 = b;
        double r19735 = r19733 + r19734;
        double r19736 = c;
        double r19737 = r19735 + r19736;
        double r19738 = 2.0;
        double r19739 = r19737 / r19738;
        double r19740 = r19739 - r19733;
        double r19741 = r19739 * r19740;
        double r19742 = r19739 - r19734;
        double r19743 = r19741 * r19742;
        double r19744 = r19739 - r19736;
        double r19745 = r19743 * r19744;
        double r19746 = sqrt(r19745);
        return r19746;
}