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 r102067 = a;
        double r102068 = b;
        double r102069 = r102067 + r102068;
        double r102070 = c;
        double r102071 = r102069 + r102070;
        double r102072 = 2.0;
        double r102073 = r102071 / r102072;
        double r102074 = r102073 - r102067;
        double r102075 = r102073 * r102074;
        double r102076 = r102073 - r102068;
        double r102077 = r102075 * r102076;
        double r102078 = r102073 - r102070;
        double r102079 = r102077 * r102078;
        double r102080 = sqrt(r102079);
        return r102080;
}