Cannot sample enough valid points. (more)

\[0.0 \lt a \land 0.0 \lt b \land 0.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 r19037 = a;
        double r19038 = b;
        double r19039 = r19037 + r19038;
        double r19040 = c;
        double r19041 = r19039 + r19040;
        double r19042 = 2.0;
        double r19043 = r19041 / r19042;
        double r19044 = r19043 - r19037;
        double r19045 = r19043 * r19044;
        double r19046 = r19043 - r19038;
        double r19047 = r19045 * r19046;
        double r19048 = r19043 - r19040;
        double r19049 = r19047 * r19048;
        double r19050 = sqrt(r19049);
        return r19050;
}