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 r2732186 = a;
        double r2732187 = b;
        double r2732188 = r2732186 + r2732187;
        double r2732189 = c;
        double r2732190 = r2732188 + r2732189;
        double r2732191 = 2.0;
        double r2732192 = r2732190 / r2732191;
        double r2732193 = r2732192 - r2732186;
        double r2732194 = r2732192 * r2732193;
        double r2732195 = r2732192 - r2732187;
        double r2732196 = r2732194 * r2732195;
        double r2732197 = r2732192 - r2732189;
        double r2732198 = r2732196 * r2732197;
        double r2732199 = sqrt(r2732198);
        return r2732199;
}