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 r115829 = a;
        double r115830 = b;
        double r115831 = r115829 + r115830;
        double r115832 = c;
        double r115833 = r115831 + r115832;
        double r115834 = 2.0;
        double r115835 = r115833 / r115834;
        double r115836 = r115835 - r115829;
        double r115837 = r115835 * r115836;
        double r115838 = r115835 - r115830;
        double r115839 = r115837 * r115838;
        double r115840 = r115835 - r115832;
        double r115841 = r115839 * r115840;
        double r115842 = sqrt(r115841);
        return r115842;
}