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 r24208 = a;
        double r24209 = b;
        double r24210 = r24208 + r24209;
        double r24211 = c;
        double r24212 = r24210 + r24211;
        double r24213 = 2.0;
        double r24214 = r24212 / r24213;
        double r24215 = r24214 - r24208;
        double r24216 = r24214 * r24215;
        double r24217 = r24214 - r24209;
        double r24218 = r24216 * r24217;
        double r24219 = r24214 - r24211;
        double r24220 = r24218 * r24219;
        double r24221 = sqrt(r24220);
        return r24221;
}