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 r60281 = a;
        double r60282 = b;
        double r60283 = r60281 + r60282;
        double r60284 = c;
        double r60285 = r60283 + r60284;
        double r60286 = 2.0;
        double r60287 = r60285 / r60286;
        double r60288 = r60287 - r60281;
        double r60289 = r60287 * r60288;
        double r60290 = r60287 - r60282;
        double r60291 = r60289 * r60290;
        double r60292 = r60287 - r60284;
        double r60293 = r60291 * r60292;
        double r60294 = sqrt(r60293);
        return r60294;
}