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 r3646613 = a;
        double r3646614 = b;
        double r3646615 = r3646613 + r3646614;
        double r3646616 = c;
        double r3646617 = r3646615 + r3646616;
        double r3646618 = 2.0;
        double r3646619 = r3646617 / r3646618;
        double r3646620 = r3646619 - r3646613;
        double r3646621 = r3646619 * r3646620;
        double r3646622 = r3646619 - r3646614;
        double r3646623 = r3646621 * r3646622;
        double r3646624 = r3646619 - r3646616;
        double r3646625 = r3646623 * r3646624;
        double r3646626 = sqrt(r3646625);
        return r3646626;
}