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 r23698 = a;
        double r23699 = b;
        double r23700 = r23698 + r23699;
        double r23701 = c;
        double r23702 = r23700 + r23701;
        double r23703 = 2.0;
        double r23704 = r23702 / r23703;
        double r23705 = r23704 - r23698;
        double r23706 = r23704 * r23705;
        double r23707 = r23704 - r23699;
        double r23708 = r23706 * r23707;
        double r23709 = r23704 - r23701;
        double r23710 = r23708 * r23709;
        double r23711 = sqrt(r23710);
        return r23711;
}