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 r85672 = a;
        double r85673 = b;
        double r85674 = r85672 + r85673;
        double r85675 = c;
        double r85676 = r85674 + r85675;
        double r85677 = 2.0;
        double r85678 = r85676 / r85677;
        double r85679 = r85678 - r85672;
        double r85680 = r85678 * r85679;
        double r85681 = r85678 - r85673;
        double r85682 = r85680 * r85681;
        double r85683 = r85678 - r85675;
        double r85684 = r85682 * r85683;
        double r85685 = sqrt(r85684);
        return r85685;
}