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 r129311 = a;
        double r129312 = b;
        double r129313 = r129311 + r129312;
        double r129314 = c;
        double r129315 = r129313 + r129314;
        double r129316 = 2.0;
        double r129317 = r129315 / r129316;
        double r129318 = r129317 - r129311;
        double r129319 = r129317 * r129318;
        double r129320 = r129317 - r129312;
        double r129321 = r129319 * r129320;
        double r129322 = r129317 - r129314;
        double r129323 = r129321 * r129322;
        double r129324 = sqrt(r129323);
        return r129324;
}