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 r51698 = a;
        double r51699 = b;
        double r51700 = r51698 + r51699;
        double r51701 = c;
        double r51702 = r51700 + r51701;
        double r51703 = 2.0;
        double r51704 = r51702 / r51703;
        double r51705 = r51704 - r51698;
        double r51706 = r51704 * r51705;
        double r51707 = r51704 - r51699;
        double r51708 = r51706 * r51707;
        double r51709 = r51704 - r51701;
        double r51710 = r51708 * r51709;
        double r51711 = sqrt(r51710);
        return r51711;
}