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 r1751481 = a;
        double r1751482 = b;
        double r1751483 = r1751481 + r1751482;
        double r1751484 = c;
        double r1751485 = r1751483 + r1751484;
        double r1751486 = 2.0;
        double r1751487 = r1751485 / r1751486;
        double r1751488 = r1751487 - r1751481;
        double r1751489 = r1751487 * r1751488;
        double r1751490 = r1751487 - r1751482;
        double r1751491 = r1751489 * r1751490;
        double r1751492 = r1751487 - r1751484;
        double r1751493 = r1751491 * r1751492;
        double r1751494 = sqrt(r1751493);
        return r1751494;
}