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 r4741025 = a;
        double r4741026 = b;
        double r4741027 = r4741025 + r4741026;
        double r4741028 = c;
        double r4741029 = r4741027 + r4741028;
        double r4741030 = 2.0;
        double r4741031 = r4741029 / r4741030;
        double r4741032 = r4741031 - r4741025;
        double r4741033 = r4741031 * r4741032;
        double r4741034 = r4741031 - r4741026;
        double r4741035 = r4741033 * r4741034;
        double r4741036 = r4741031 - r4741028;
        double r4741037 = r4741035 * r4741036;
        double r4741038 = sqrt(r4741037);
        return r4741038;
}