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 r4253 = a;
        double r4254 = b;
        double r4255 = r4253 + r4254;
        double r4256 = c;
        double r4257 = r4255 + r4256;
        double r4258 = 2.0;
        double r4259 = r4257 / r4258;
        double r4260 = r4259 - r4253;
        double r4261 = r4259 * r4260;
        double r4262 = r4259 - r4254;
        double r4263 = r4261 * r4262;
        double r4264 = r4259 - r4256;
        double r4265 = r4263 * r4264;
        double r4266 = sqrt(r4265);
        return r4266;
}