Cannot sample enough valid points. (more)

\[0 \lt a \land 0 \lt b \land 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 r519652 = a;
        double r519653 = b;
        double r519654 = r519652 + r519653;
        double r519655 = c;
        double r519656 = r519654 + r519655;
        double r519657 = 2.0;
        double r519658 = r519656 / r519657;
        double r519659 = r519658 - r519652;
        double r519660 = r519658 * r519659;
        double r519661 = r519658 - r519653;
        double r519662 = r519660 * r519661;
        double r519663 = r519658 - r519655;
        double r519664 = r519662 * r519663;
        double r519665 = sqrt(r519664);
        return r519665;
}