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 r5250833 = a;
        double r5250834 = b;
        double r5250835 = r5250833 + r5250834;
        double r5250836 = c;
        double r5250837 = r5250835 + r5250836;
        double r5250838 = 2.0;
        double r5250839 = r5250837 / r5250838;
        double r5250840 = r5250839 - r5250833;
        double r5250841 = r5250839 * r5250840;
        double r5250842 = r5250839 - r5250834;
        double r5250843 = r5250841 * r5250842;
        double r5250844 = r5250839 - r5250836;
        double r5250845 = r5250843 * r5250844;
        double r5250846 = sqrt(r5250845);
        return r5250846;
}