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 r6352 = a;
        double r6353 = b;
        double r6354 = r6352 + r6353;
        double r6355 = c;
        double r6356 = r6354 + r6355;
        double r6357 = 2.0;
        double r6358 = r6356 / r6357;
        double r6359 = r6358 - r6352;
        double r6360 = r6358 * r6359;
        double r6361 = r6358 - r6353;
        double r6362 = r6360 * r6361;
        double r6363 = r6358 - r6355;
        double r6364 = r6362 * r6363;
        double r6365 = sqrt(r6364);
        return r6365;
}