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 r6994 = a;
        double r6995 = b;
        double r6996 = r6994 + r6995;
        double r6997 = c;
        double r6998 = r6996 + r6997;
        double r6999 = 2.0;
        double r7000 = r6998 / r6999;
        double r7001 = r7000 - r6994;
        double r7002 = r7000 * r7001;
        double r7003 = r7000 - r6995;
        double r7004 = r7002 * r7003;
        double r7005 = r7000 - r6997;
        double r7006 = r7004 * r7005;
        double r7007 = sqrt(r7006);
        return r7007;
}