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 r1485807 = a;
        double r1485808 = b;
        double r1485809 = r1485807 + r1485808;
        double r1485810 = c;
        double r1485811 = r1485809 + r1485810;
        double r1485812 = 2.0;
        double r1485813 = r1485811 / r1485812;
        double r1485814 = r1485813 - r1485807;
        double r1485815 = r1485813 * r1485814;
        double r1485816 = r1485813 - r1485808;
        double r1485817 = r1485815 * r1485816;
        double r1485818 = r1485813 - r1485810;
        double r1485819 = r1485817 * r1485818;
        double r1485820 = sqrt(r1485819);
        return r1485820;
}