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 r19770 = a;
        double r19771 = b;
        double r19772 = r19770 + r19771;
        double r19773 = c;
        double r19774 = r19772 + r19773;
        double r19775 = 2.0;
        double r19776 = r19774 / r19775;
        double r19777 = r19776 - r19770;
        double r19778 = r19776 * r19777;
        double r19779 = r19776 - r19771;
        double r19780 = r19778 * r19779;
        double r19781 = r19776 - r19773;
        double r19782 = r19780 * r19781;
        double r19783 = sqrt(r19782);
        return r19783;
}