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 r34220 = a;
        double r34221 = b;
        double r34222 = r34220 + r34221;
        double r34223 = c;
        double r34224 = r34222 + r34223;
        double r34225 = 2.0;
        double r34226 = r34224 / r34225;
        double r34227 = r34226 - r34220;
        double r34228 = r34226 * r34227;
        double r34229 = r34226 - r34221;
        double r34230 = r34228 * r34229;
        double r34231 = r34226 - r34223;
        double r34232 = r34230 * r34231;
        double r34233 = sqrt(r34232);
        return r34233;
}