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 r9291 = a;
        double r9292 = b;
        double r9293 = r9291 + r9292;
        double r9294 = c;
        double r9295 = r9293 + r9294;
        double r9296 = 2.0;
        double r9297 = r9295 / r9296;
        double r9298 = r9297 - r9291;
        double r9299 = r9297 * r9298;
        double r9300 = r9297 - r9292;
        double r9301 = r9299 * r9300;
        double r9302 = r9297 - r9294;
        double r9303 = r9301 * r9302;
        double r9304 = sqrt(r9303);
        return r9304;
}