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 r5247 = a;
        double r5248 = b;
        double r5249 = r5247 + r5248;
        double r5250 = c;
        double r5251 = r5249 + r5250;
        double r5252 = 2.0;
        double r5253 = r5251 / r5252;
        double r5254 = r5253 - r5247;
        double r5255 = r5253 * r5254;
        double r5256 = r5253 - r5248;
        double r5257 = r5255 * r5256;
        double r5258 = r5253 - r5250;
        double r5259 = r5257 * r5258;
        double r5260 = sqrt(r5259);
        return r5260;
}