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 r1763982 = a;
        double r1763983 = b;
        double r1763984 = r1763982 + r1763983;
        double r1763985 = c;
        double r1763986 = r1763984 + r1763985;
        double r1763987 = 2.0;
        double r1763988 = r1763986 / r1763987;
        double r1763989 = r1763988 - r1763982;
        double r1763990 = r1763988 * r1763989;
        double r1763991 = r1763988 - r1763983;
        double r1763992 = r1763990 * r1763991;
        double r1763993 = r1763988 - r1763985;
        double r1763994 = r1763992 * r1763993;
        double r1763995 = sqrt(r1763994);
        return r1763995;
}