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 r8189 = a;
        double r8190 = b;
        double r8191 = r8189 + r8190;
        double r8192 = c;
        double r8193 = r8191 + r8192;
        double r8194 = 2.0;
        double r8195 = r8193 / r8194;
        double r8196 = r8195 - r8189;
        double r8197 = r8195 * r8196;
        double r8198 = r8195 - r8190;
        double r8199 = r8197 * r8198;
        double r8200 = r8195 - r8192;
        double r8201 = r8199 * r8200;
        double r8202 = sqrt(r8201);
        return r8202;
}