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 r26085 = a;
        double r26086 = b;
        double r26087 = r26085 + r26086;
        double r26088 = c;
        double r26089 = r26087 + r26088;
        double r26090 = 2.0;
        double r26091 = r26089 / r26090;
        double r26092 = r26091 - r26085;
        double r26093 = r26091 * r26092;
        double r26094 = r26091 - r26086;
        double r26095 = r26093 * r26094;
        double r26096 = r26091 - r26088;
        double r26097 = r26095 * r26096;
        double r26098 = sqrt(r26097);
        return r26098;
}