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 r106829 = a;
        double r106830 = b;
        double r106831 = r106829 + r106830;
        double r106832 = c;
        double r106833 = r106831 + r106832;
        double r106834 = 2.0;
        double r106835 = r106833 / r106834;
        double r106836 = r106835 - r106829;
        double r106837 = r106835 * r106836;
        double r106838 = r106835 - r106830;
        double r106839 = r106837 * r106838;
        double r106840 = r106835 - r106832;
        double r106841 = r106839 * r106840;
        double r106842 = sqrt(r106841);
        return r106842;
}