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 r10365080 = a;
        double r10365081 = b;
        double r10365082 = r10365080 + r10365081;
        double r10365083 = c;
        double r10365084 = r10365082 + r10365083;
        double r10365085 = 2.0;
        double r10365086 = r10365084 / r10365085;
        double r10365087 = r10365086 - r10365080;
        double r10365088 = r10365086 * r10365087;
        double r10365089 = r10365086 - r10365081;
        double r10365090 = r10365088 * r10365089;
        double r10365091 = r10365086 - r10365083;
        double r10365092 = r10365090 * r10365091;
        double r10365093 = sqrt(r10365092);
        return r10365093;
}