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 r46510 = a;
        double r46511 = b;
        double r46512 = r46510 + r46511;
        double r46513 = c;
        double r46514 = r46512 + r46513;
        double r46515 = 2.0;
        double r46516 = r46514 / r46515;
        double r46517 = r46516 - r46510;
        double r46518 = r46516 * r46517;
        double r46519 = r46516 - r46511;
        double r46520 = r46518 * r46519;
        double r46521 = r46516 - r46513;
        double r46522 = r46520 * r46521;
        double r46523 = sqrt(r46522);
        return r46523;
}