Cannot sample enough valid points. (more)

\[0 \lt a \land 0 \lt b \land 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 r896214 = a;
        double r896215 = b;
        double r896216 = r896214 + r896215;
        double r896217 = c;
        double r896218 = r896216 + r896217;
        double r896219 = 2.0;
        double r896220 = r896218 / r896219;
        double r896221 = r896220 - r896214;
        double r896222 = r896220 * r896221;
        double r896223 = r896220 - r896215;
        double r896224 = r896222 * r896223;
        double r896225 = r896220 - r896217;
        double r896226 = r896224 * r896225;
        double r896227 = sqrt(r896226);
        return r896227;
}