Cannot sample enough valid points. (more)

\[0.0 \lt a \lt b + c \land 0.0 \lt b \lt a + c \land 0.0 \lt c \lt a + b\]
\[\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 r7458848 = a;
        double r7458849 = b;
        double r7458850 = r7458848 + r7458849;
        double r7458851 = c;
        double r7458852 = r7458850 + r7458851;
        double r7458853 = 2.0;
        double r7458854 = r7458852 / r7458853;
        double r7458855 = r7458854 - r7458848;
        double r7458856 = r7458854 * r7458855;
        double r7458857 = r7458854 - r7458849;
        double r7458858 = r7458856 * r7458857;
        double r7458859 = r7458854 - r7458851;
        double r7458860 = r7458858 * r7458859;
        double r7458861 = sqrt(r7458860);
        return r7458861;
}