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 r12353 = a;
        double r12354 = b;
        double r12355 = r12353 + r12354;
        double r12356 = c;
        double r12357 = r12355 + r12356;
        double r12358 = 2.0;
        double r12359 = r12357 / r12358;
        double r12360 = r12359 - r12353;
        double r12361 = r12359 * r12360;
        double r12362 = r12359 - r12354;
        double r12363 = r12361 * r12362;
        double r12364 = r12359 - r12356;
        double r12365 = r12363 * r12364;
        double r12366 = sqrt(r12365);
        return r12366;
}