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 r2072818 = a;
        double r2072819 = b;
        double r2072820 = r2072818 + r2072819;
        double r2072821 = c;
        double r2072822 = r2072820 + r2072821;
        double r2072823 = 2.0;
        double r2072824 = r2072822 / r2072823;
        double r2072825 = r2072824 - r2072818;
        double r2072826 = r2072824 * r2072825;
        double r2072827 = r2072824 - r2072819;
        double r2072828 = r2072826 * r2072827;
        double r2072829 = r2072824 - r2072821;
        double r2072830 = r2072828 * r2072829;
        double r2072831 = sqrt(r2072830);
        return r2072831;
}