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 r18461 = a;
        double r18462 = b;
        double r18463 = r18461 + r18462;
        double r18464 = c;
        double r18465 = r18463 + r18464;
        double r18466 = 2.0;
        double r18467 = r18465 / r18466;
        double r18468 = r18467 - r18461;
        double r18469 = r18467 * r18468;
        double r18470 = r18467 - r18462;
        double r18471 = r18469 * r18470;
        double r18472 = r18467 - r18464;
        double r18473 = r18471 * r18472;
        double r18474 = sqrt(r18473);
        return r18474;
}