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 r10682 = a;
        double r10683 = b;
        double r10684 = r10682 + r10683;
        double r10685 = c;
        double r10686 = r10684 + r10685;
        double r10687 = 2.0;
        double r10688 = r10686 / r10687;
        double r10689 = r10688 - r10682;
        double r10690 = r10688 * r10689;
        double r10691 = r10688 - r10683;
        double r10692 = r10690 * r10691;
        double r10693 = r10688 - r10685;
        double r10694 = r10692 * r10693;
        double r10695 = sqrt(r10694);
        return r10695;
}