Cannot sample enough valid points. (more)

\[0 \lt a \land 0 \lt b \land 0 \lt c\]
\[\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 r866300 = a;
        double r866301 = b;
        double r866302 = r866300 + r866301;
        double r866303 = c;
        double r866304 = r866302 + r866303;
        double r866305 = 2.0;
        double r866306 = r866304 / r866305;
        double r866307 = r866306 - r866300;
        double r866308 = r866306 * r866307;
        double r866309 = r866306 - r866301;
        double r866310 = r866308 * r866309;
        double r866311 = r866306 - r866303;
        double r866312 = r866310 * r866311;
        double r866313 = sqrt(r866312);
        return r866313;
}