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 r16019 = a;
        double r16020 = b;
        double r16021 = r16019 + r16020;
        double r16022 = c;
        double r16023 = r16021 + r16022;
        double r16024 = 2.0;
        double r16025 = r16023 / r16024;
        double r16026 = r16025 - r16019;
        double r16027 = r16025 * r16026;
        double r16028 = r16025 - r16020;
        double r16029 = r16027 * r16028;
        double r16030 = r16025 - r16022;
        double r16031 = r16029 * r16030;
        double r16032 = sqrt(r16031);
        return r16032;
}