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 r1096920 = a;
        double r1096921 = b;
        double r1096922 = r1096920 + r1096921;
        double r1096923 = c;
        double r1096924 = r1096922 + r1096923;
        double r1096925 = 2.0;
        double r1096926 = r1096924 / r1096925;
        double r1096927 = r1096926 - r1096920;
        double r1096928 = r1096926 * r1096927;
        double r1096929 = r1096926 - r1096921;
        double r1096930 = r1096928 * r1096929;
        double r1096931 = r1096926 - r1096923;
        double r1096932 = r1096930 * r1096931;
        double r1096933 = sqrt(r1096932);
        return r1096933;
}