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 r122878 = a;
        double r122879 = b;
        double r122880 = r122878 + r122879;
        double r122881 = c;
        double r122882 = r122880 + r122881;
        double r122883 = 2.0;
        double r122884 = r122882 / r122883;
        double r122885 = r122884 - r122878;
        double r122886 = r122884 * r122885;
        double r122887 = r122884 - r122879;
        double r122888 = r122886 * r122887;
        double r122889 = r122884 - r122881;
        double r122890 = r122888 * r122889;
        double r122891 = sqrt(r122890);
        return r122891;
}