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 r84331 = a;
        double r84332 = b;
        double r84333 = r84331 + r84332;
        double r84334 = c;
        double r84335 = r84333 + r84334;
        double r84336 = 2.0;
        double r84337 = r84335 / r84336;
        double r84338 = r84337 - r84331;
        double r84339 = r84337 * r84338;
        double r84340 = r84337 - r84332;
        double r84341 = r84339 * r84340;
        double r84342 = r84337 - r84334;
        double r84343 = r84341 * r84342;
        double r84344 = sqrt(r84343);
        return r84344;
}