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 r8118 = a;
        double r8119 = b;
        double r8120 = r8118 + r8119;
        double r8121 = c;
        double r8122 = r8120 + r8121;
        double r8123 = 2.0;
        double r8124 = r8122 / r8123;
        double r8125 = r8124 - r8118;
        double r8126 = r8124 * r8125;
        double r8127 = r8124 - r8119;
        double r8128 = r8126 * r8127;
        double r8129 = r8124 - r8121;
        double r8130 = r8128 * r8129;
        double r8131 = sqrt(r8130);
        return r8131;
}