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 r22016 = a;
        double r22017 = b;
        double r22018 = r22016 + r22017;
        double r22019 = c;
        double r22020 = r22018 + r22019;
        double r22021 = 2.0;
        double r22022 = r22020 / r22021;
        double r22023 = r22022 - r22016;
        double r22024 = r22022 * r22023;
        double r22025 = r22022 - r22017;
        double r22026 = r22024 * r22025;
        double r22027 = r22022 - r22019;
        double r22028 = r22026 * r22027;
        double r22029 = sqrt(r22028);
        return r22029;
}