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 r15203 = a;
        double r15204 = b;
        double r15205 = r15203 + r15204;
        double r15206 = c;
        double r15207 = r15205 + r15206;
        double r15208 = 2.0;
        double r15209 = r15207 / r15208;
        double r15210 = r15209 - r15203;
        double r15211 = r15209 * r15210;
        double r15212 = r15209 - r15204;
        double r15213 = r15211 * r15212;
        double r15214 = r15209 - r15206;
        double r15215 = r15213 * r15214;
        double r15216 = sqrt(r15215);
        return r15216;
}