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 r82782 = a;
        double r82783 = b;
        double r82784 = r82782 + r82783;
        double r82785 = c;
        double r82786 = r82784 + r82785;
        double r82787 = 2.0;
        double r82788 = r82786 / r82787;
        double r82789 = r82788 - r82782;
        double r82790 = r82788 * r82789;
        double r82791 = r82788 - r82783;
        double r82792 = r82790 * r82791;
        double r82793 = r82788 - r82785;
        double r82794 = r82792 * r82793;
        double r82795 = sqrt(r82794);
        return r82795;
}