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 r29276 = a;
        double r29277 = b;
        double r29278 = r29276 + r29277;
        double r29279 = c;
        double r29280 = r29278 + r29279;
        double r29281 = 2.0;
        double r29282 = r29280 / r29281;
        double r29283 = r29282 - r29276;
        double r29284 = r29282 * r29283;
        double r29285 = r29282 - r29277;
        double r29286 = r29284 * r29285;
        double r29287 = r29282 - r29279;
        double r29288 = r29286 * r29287;
        double r29289 = sqrt(r29288);
        return r29289;
}