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 r14403 = a;
        double r14404 = b;
        double r14405 = r14403 + r14404;
        double r14406 = c;
        double r14407 = r14405 + r14406;
        double r14408 = 2.0;
        double r14409 = r14407 / r14408;
        double r14410 = r14409 - r14403;
        double r14411 = r14409 * r14410;
        double r14412 = r14409 - r14404;
        double r14413 = r14411 * r14412;
        double r14414 = r14409 - r14406;
        double r14415 = r14413 * r14414;
        double r14416 = sqrt(r14415);
        return r14416;
}