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 r4503573 = a;
        double r4503574 = b;
        double r4503575 = r4503573 + r4503574;
        double r4503576 = c;
        double r4503577 = r4503575 + r4503576;
        double r4503578 = 2.0;
        double r4503579 = r4503577 / r4503578;
        double r4503580 = r4503579 - r4503573;
        double r4503581 = r4503579 * r4503580;
        double r4503582 = r4503579 - r4503574;
        double r4503583 = r4503581 * r4503582;
        double r4503584 = r4503579 - r4503576;
        double r4503585 = r4503583 * r4503584;
        double r4503586 = sqrt(r4503585);
        return r4503586;
}