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 r4553088 = a;
        double r4553089 = b;
        double r4553090 = r4553088 + r4553089;
        double r4553091 = c;
        double r4553092 = r4553090 + r4553091;
        double r4553093 = 2.0;
        double r4553094 = r4553092 / r4553093;
        double r4553095 = r4553094 - r4553088;
        double r4553096 = r4553094 * r4553095;
        double r4553097 = r4553094 - r4553089;
        double r4553098 = r4553096 * r4553097;
        double r4553099 = r4553094 - r4553091;
        double r4553100 = r4553098 * r4553099;
        double r4553101 = sqrt(r4553100);
        return r4553101;
}