Cannot sample enough valid points. (more)

\[0.0 \lt a \lt b + c \land 0.0 \lt b \lt a + c \land 0.0 \lt c \lt a + b\]
\[\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 r105711 = a;
        double r105712 = b;
        double r105713 = r105711 + r105712;
        double r105714 = c;
        double r105715 = r105713 + r105714;
        double r105716 = 2.0;
        double r105717 = r105715 / r105716;
        double r105718 = r105717 - r105711;
        double r105719 = r105717 * r105718;
        double r105720 = r105717 - r105712;
        double r105721 = r105719 * r105720;
        double r105722 = r105717 - r105714;
        double r105723 = r105721 * r105722;
        double r105724 = sqrt(r105723);
        return r105724;
}