Cannot sample enough valid points. (more)

\[0.0 \lt a \land 0.0 \lt b \land 0.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 r8243 = a;
        double r8244 = b;
        double r8245 = r8243 + r8244;
        double r8246 = c;
        double r8247 = r8245 + r8246;
        double r8248 = 2.0;
        double r8249 = r8247 / r8248;
        double r8250 = r8249 - r8243;
        double r8251 = r8249 * r8250;
        double r8252 = r8249 - r8244;
        double r8253 = r8251 * r8252;
        double r8254 = r8249 - r8246;
        double r8255 = r8253 * r8254;
        double r8256 = sqrt(r8255);
        return r8256;
}