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 r99031 = a;
        double r99032 = b;
        double r99033 = r99031 + r99032;
        double r99034 = c;
        double r99035 = r99033 + r99034;
        double r99036 = 2.0;
        double r99037 = r99035 / r99036;
        double r99038 = r99037 - r99031;
        double r99039 = r99037 * r99038;
        double r99040 = r99037 - r99032;
        double r99041 = r99039 * r99040;
        double r99042 = r99037 - r99034;
        double r99043 = r99041 * r99042;
        double r99044 = sqrt(r99043);
        return r99044;
}