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 r695830 = a;
        double r695831 = b;
        double r695832 = r695830 + r695831;
        double r695833 = c;
        double r695834 = r695832 + r695833;
        double r695835 = 2.0;
        double r695836 = r695834 / r695835;
        double r695837 = r695836 - r695830;
        double r695838 = r695836 * r695837;
        double r695839 = r695836 - r695831;
        double r695840 = r695838 * r695839;
        double r695841 = r695836 - r695833;
        double r695842 = r695840 * r695841;
        double r695843 = sqrt(r695842);
        return r695843;
}