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 r21078 = a;
        double r21079 = b;
        double r21080 = r21078 + r21079;
        double r21081 = c;
        double r21082 = r21080 + r21081;
        double r21083 = 2.0;
        double r21084 = r21082 / r21083;
        double r21085 = r21084 - r21078;
        double r21086 = r21084 * r21085;
        double r21087 = r21084 - r21079;
        double r21088 = r21086 * r21087;
        double r21089 = r21084 - r21081;
        double r21090 = r21088 * r21089;
        double r21091 = sqrt(r21090);
        return r21091;
}