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 r105533 = a;
        double r105534 = b;
        double r105535 = r105533 + r105534;
        double r105536 = c;
        double r105537 = r105535 + r105536;
        double r105538 = 2.0;
        double r105539 = r105537 / r105538;
        double r105540 = r105539 - r105533;
        double r105541 = r105539 * r105540;
        double r105542 = r105539 - r105534;
        double r105543 = r105541 * r105542;
        double r105544 = r105539 - r105536;
        double r105545 = r105543 * r105544;
        double r105546 = sqrt(r105545);
        return r105546;
}