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 r5439 = a;
        double r5440 = b;
        double r5441 = r5439 + r5440;
        double r5442 = c;
        double r5443 = r5441 + r5442;
        double r5444 = 2.0;
        double r5445 = r5443 / r5444;
        double r5446 = r5445 - r5439;
        double r5447 = r5445 * r5446;
        double r5448 = r5445 - r5440;
        double r5449 = r5447 * r5448;
        double r5450 = r5445 - r5442;
        double r5451 = r5449 * r5450;
        double r5452 = sqrt(r5451);
        return r5452;
}