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 r4748852 = a;
        double r4748853 = b;
        double r4748854 = r4748852 + r4748853;
        double r4748855 = c;
        double r4748856 = r4748854 + r4748855;
        double r4748857 = 2.0;
        double r4748858 = r4748856 / r4748857;
        double r4748859 = r4748858 - r4748852;
        double r4748860 = r4748858 * r4748859;
        double r4748861 = r4748858 - r4748853;
        double r4748862 = r4748860 * r4748861;
        double r4748863 = r4748858 - r4748855;
        double r4748864 = r4748862 * r4748863;
        double r4748865 = sqrt(r4748864);
        return r4748865;
}