Cannot sample enough valid points. (more)

\[0 \lt a \land 0 \lt b \land 0 \lt c\]
\[\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 r947978 = a;
        double r947979 = b;
        double r947980 = r947978 + r947979;
        double r947981 = c;
        double r947982 = r947980 + r947981;
        double r947983 = 2.0;
        double r947984 = r947982 / r947983;
        double r947985 = r947984 - r947978;
        double r947986 = r947984 * r947985;
        double r947987 = r947984 - r947979;
        double r947988 = r947986 * r947987;
        double r947989 = r947984 - r947981;
        double r947990 = r947988 * r947989;
        double r947991 = sqrt(r947990);
        return r947991;
}