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 r410387 = a;
        double r410388 = b;
        double r410389 = r410387 + r410388;
        double r410390 = c;
        double r410391 = r410389 + r410390;
        double r410392 = 2.0;
        double r410393 = r410391 / r410392;
        double r410394 = r410393 - r410387;
        double r410395 = r410393 * r410394;
        double r410396 = r410393 - r410388;
        double r410397 = r410395 * r410396;
        double r410398 = r410393 - r410390;
        double r410399 = r410397 * r410398;
        double r410400 = sqrt(r410399);
        return r410400;
}