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 r12901 = a;
        double r12902 = b;
        double r12903 = r12901 + r12902;
        double r12904 = c;
        double r12905 = r12903 + r12904;
        double r12906 = 2.0;
        double r12907 = r12905 / r12906;
        double r12908 = r12907 - r12901;
        double r12909 = r12907 * r12908;
        double r12910 = r12907 - r12902;
        double r12911 = r12909 * r12910;
        double r12912 = r12907 - r12904;
        double r12913 = r12911 * r12912;
        double r12914 = sqrt(r12913);
        return r12914;
}