Cannot sample enough valid points. (more)

\[0 \lt a \land 0 \lt b \land 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 r272382 = a;
        double r272383 = b;
        double r272384 = r272382 + r272383;
        double r272385 = c;
        double r272386 = r272384 + r272385;
        double r272387 = 2.0;
        double r272388 = r272386 / r272387;
        double r272389 = r272388 - r272382;
        double r272390 = r272388 * r272389;
        double r272391 = r272388 - r272383;
        double r272392 = r272390 * r272391;
        double r272393 = r272388 - r272385;
        double r272394 = r272392 * r272393;
        double r272395 = sqrt(r272394);
        return r272395;
}