Cannot sample enough valid points. (more)

\[0 \lt a \lt b + c \land 0 \lt b \lt a + c \land 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 r2264923 = a;
        double r2264924 = b;
        double r2264925 = r2264923 + r2264924;
        double r2264926 = c;
        double r2264927 = r2264925 + r2264926;
        double r2264928 = 2.0;
        double r2264929 = r2264927 / r2264928;
        double r2264930 = r2264929 - r2264923;
        double r2264931 = r2264929 * r2264930;
        double r2264932 = r2264929 - r2264924;
        double r2264933 = r2264931 * r2264932;
        double r2264934 = r2264929 - r2264926;
        double r2264935 = r2264933 * r2264934;
        double r2264936 = sqrt(r2264935);
        return r2264936;
}