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 r8536167 = a;
        double r8536168 = b;
        double r8536169 = r8536167 + r8536168;
        double r8536170 = c;
        double r8536171 = r8536169 + r8536170;
        double r8536172 = 2.0;
        double r8536173 = r8536171 / r8536172;
        double r8536174 = r8536173 - r8536167;
        double r8536175 = r8536173 * r8536174;
        double r8536176 = r8536173 - r8536168;
        double r8536177 = r8536175 * r8536176;
        double r8536178 = r8536173 - r8536170;
        double r8536179 = r8536177 * r8536178;
        double r8536180 = sqrt(r8536179);
        return r8536180;
}