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 r15915 = a;
        double r15916 = b;
        double r15917 = r15915 + r15916;
        double r15918 = c;
        double r15919 = r15917 + r15918;
        double r15920 = 2.0;
        double r15921 = r15919 / r15920;
        double r15922 = r15921 - r15915;
        double r15923 = r15921 * r15922;
        double r15924 = r15921 - r15916;
        double r15925 = r15923 * r15924;
        double r15926 = r15921 - r15918;
        double r15927 = r15925 * r15926;
        double r15928 = sqrt(r15927);
        return r15928;
}