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 r3376 = a;
        double r3377 = b;
        double r3378 = r3376 + r3377;
        double r3379 = c;
        double r3380 = r3378 + r3379;
        double r3381 = 2.0;
        double r3382 = r3380 / r3381;
        double r3383 = r3382 - r3376;
        double r3384 = r3382 * r3383;
        double r3385 = r3382 - r3377;
        double r3386 = r3384 * r3385;
        double r3387 = r3382 - r3379;
        double r3388 = r3386 * r3387;
        double r3389 = sqrt(r3388);
        return r3389;
}