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 r3853404 = a;
        double r3853405 = b;
        double r3853406 = r3853404 + r3853405;
        double r3853407 = c;
        double r3853408 = r3853406 + r3853407;
        double r3853409 = 2.0;
        double r3853410 = r3853408 / r3853409;
        double r3853411 = r3853410 - r3853404;
        double r3853412 = r3853410 * r3853411;
        double r3853413 = r3853410 - r3853405;
        double r3853414 = r3853412 * r3853413;
        double r3853415 = r3853410 - r3853407;
        double r3853416 = r3853414 * r3853415;
        double r3853417 = sqrt(r3853416);
        return r3853417;
}