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 r358044 = a;
        double r358045 = b;
        double r358046 = r358044 + r358045;
        double r358047 = c;
        double r358048 = r358046 + r358047;
        double r358049 = 2.0;
        double r358050 = r358048 / r358049;
        double r358051 = r358050 - r358044;
        double r358052 = r358050 * r358051;
        double r358053 = r358050 - r358045;
        double r358054 = r358052 * r358053;
        double r358055 = r358050 - r358047;
        double r358056 = r358054 * r358055;
        double r358057 = sqrt(r358056);
        return r358057;
}