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 r3134 = a;
        double r3135 = b;
        double r3136 = r3134 + r3135;
        double r3137 = c;
        double r3138 = r3136 + r3137;
        double r3139 = 2.0;
        double r3140 = r3138 / r3139;
        double r3141 = r3140 - r3134;
        double r3142 = r3140 * r3141;
        double r3143 = r3140 - r3135;
        double r3144 = r3142 * r3143;
        double r3145 = r3140 - r3137;
        double r3146 = r3144 * r3145;
        double r3147 = sqrt(r3146);
        return r3147;
}