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 r62450 = a;
        double r62451 = b;
        double r62452 = r62450 + r62451;
        double r62453 = c;
        double r62454 = r62452 + r62453;
        double r62455 = 2.0;
        double r62456 = r62454 / r62455;
        double r62457 = r62456 - r62450;
        double r62458 = r62456 * r62457;
        double r62459 = r62456 - r62451;
        double r62460 = r62458 * r62459;
        double r62461 = r62456 - r62453;
        double r62462 = r62460 * r62461;
        double r62463 = sqrt(r62462);
        return r62463;
}