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 r9641 = a;
        double r9642 = b;
        double r9643 = r9641 + r9642;
        double r9644 = c;
        double r9645 = r9643 + r9644;
        double r9646 = 2.0;
        double r9647 = r9645 / r9646;
        double r9648 = r9647 - r9641;
        double r9649 = r9647 * r9648;
        double r9650 = r9647 - r9642;
        double r9651 = r9649 * r9650;
        double r9652 = r9647 - r9644;
        double r9653 = r9651 * r9652;
        double r9654 = sqrt(r9653);
        return r9654;
}