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 r1753078 = a;
        double r1753079 = b;
        double r1753080 = r1753078 + r1753079;
        double r1753081 = c;
        double r1753082 = r1753080 + r1753081;
        double r1753083 = 2.0;
        double r1753084 = r1753082 / r1753083;
        double r1753085 = r1753084 - r1753078;
        double r1753086 = r1753084 * r1753085;
        double r1753087 = r1753084 - r1753079;
        double r1753088 = r1753086 * r1753087;
        double r1753089 = r1753084 - r1753081;
        double r1753090 = r1753088 * r1753089;
        double r1753091 = sqrt(r1753090);
        return r1753091;
}