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 r93849 = a;
        double r93850 = b;
        double r93851 = r93849 + r93850;
        double r93852 = c;
        double r93853 = r93851 + r93852;
        double r93854 = 2.0;
        double r93855 = r93853 / r93854;
        double r93856 = r93855 - r93849;
        double r93857 = r93855 * r93856;
        double r93858 = r93855 - r93850;
        double r93859 = r93857 * r93858;
        double r93860 = r93855 - r93852;
        double r93861 = r93859 * r93860;
        double r93862 = sqrt(r93861);
        return r93862;
}