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 r27722 = a;
        double r27723 = b;
        double r27724 = r27722 + r27723;
        double r27725 = c;
        double r27726 = r27724 + r27725;
        double r27727 = 2.0;
        double r27728 = r27726 / r27727;
        double r27729 = r27728 - r27722;
        double r27730 = r27728 * r27729;
        double r27731 = r27728 - r27723;
        double r27732 = r27730 * r27731;
        double r27733 = r27728 - r27725;
        double r27734 = r27732 * r27733;
        double r27735 = sqrt(r27734);
        return r27735;
}