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 r361001 = a;
        double r361002 = b;
        double r361003 = r361001 + r361002;
        double r361004 = c;
        double r361005 = r361003 + r361004;
        double r361006 = 2.0;
        double r361007 = r361005 / r361006;
        double r361008 = r361007 - r361001;
        double r361009 = r361007 * r361008;
        double r361010 = r361007 - r361002;
        double r361011 = r361009 * r361010;
        double r361012 = r361007 - r361004;
        double r361013 = r361011 * r361012;
        double r361014 = sqrt(r361013);
        return r361014;
}