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 r113833 = a;
        double r113834 = b;
        double r113835 = r113833 + r113834;
        double r113836 = c;
        double r113837 = r113835 + r113836;
        double r113838 = 2.0;
        double r113839 = r113837 / r113838;
        double r113840 = r113839 - r113833;
        double r113841 = r113839 * r113840;
        double r113842 = r113839 - r113834;
        double r113843 = r113841 * r113842;
        double r113844 = r113839 - r113836;
        double r113845 = r113843 * r113844;
        double r113846 = sqrt(r113845);
        return r113846;
}