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 r6116743 = a;
        double r6116744 = b;
        double r6116745 = r6116743 + r6116744;
        double r6116746 = c;
        double r6116747 = r6116745 + r6116746;
        double r6116748 = 2.0;
        double r6116749 = r6116747 / r6116748;
        double r6116750 = r6116749 - r6116743;
        double r6116751 = r6116749 * r6116750;
        double r6116752 = r6116749 - r6116744;
        double r6116753 = r6116751 * r6116752;
        double r6116754 = r6116749 - r6116746;
        double r6116755 = r6116753 * r6116754;
        double r6116756 = sqrt(r6116755);
        return r6116756;
}