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 r1270812 = a;
        double r1270813 = b;
        double r1270814 = r1270812 + r1270813;
        double r1270815 = c;
        double r1270816 = r1270814 + r1270815;
        double r1270817 = 2.0;
        double r1270818 = r1270816 / r1270817;
        double r1270819 = r1270818 - r1270812;
        double r1270820 = r1270818 * r1270819;
        double r1270821 = r1270818 - r1270813;
        double r1270822 = r1270820 * r1270821;
        double r1270823 = r1270818 - r1270815;
        double r1270824 = r1270822 * r1270823;
        double r1270825 = sqrt(r1270824);
        return r1270825;
}