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 r16853 = a;
        double r16854 = b;
        double r16855 = r16853 + r16854;
        double r16856 = c;
        double r16857 = r16855 + r16856;
        double r16858 = 2.0;
        double r16859 = r16857 / r16858;
        double r16860 = r16859 - r16853;
        double r16861 = r16859 * r16860;
        double r16862 = r16859 - r16854;
        double r16863 = r16861 * r16862;
        double r16864 = r16859 - r16856;
        double r16865 = r16863 * r16864;
        double r16866 = sqrt(r16865);
        return r16866;
}