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 r1106342 = a;
        double r1106343 = b;
        double r1106344 = r1106342 + r1106343;
        double r1106345 = c;
        double r1106346 = r1106344 + r1106345;
        double r1106347 = 2.0;
        double r1106348 = r1106346 / r1106347;
        double r1106349 = r1106348 - r1106342;
        double r1106350 = r1106348 * r1106349;
        double r1106351 = r1106348 - r1106343;
        double r1106352 = r1106350 * r1106351;
        double r1106353 = r1106348 - r1106345;
        double r1106354 = r1106352 * r1106353;
        double r1106355 = sqrt(r1106354);
        return r1106355;
}