Cannot sample enough valid points. (more)

\[0 \lt a \lt b + c \land 0 \lt b \lt a + c \land 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 r1784881 = a;
        double r1784882 = b;
        double r1784883 = r1784881 + r1784882;
        double r1784884 = c;
        double r1784885 = r1784883 + r1784884;
        double r1784886 = 2.0;
        double r1784887 = r1784885 / r1784886;
        double r1784888 = r1784887 - r1784881;
        double r1784889 = r1784887 * r1784888;
        double r1784890 = r1784887 - r1784882;
        double r1784891 = r1784889 * r1784890;
        double r1784892 = r1784887 - r1784884;
        double r1784893 = r1784891 * r1784892;
        double r1784894 = sqrt(r1784893);
        return r1784894;
}