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 r8124 = a;
        double r8125 = b;
        double r8126 = r8124 + r8125;
        double r8127 = c;
        double r8128 = r8126 + r8127;
        double r8129 = 2.0;
        double r8130 = r8128 / r8129;
        double r8131 = r8130 - r8124;
        double r8132 = r8130 * r8131;
        double r8133 = r8130 - r8125;
        double r8134 = r8132 * r8133;
        double r8135 = r8130 - r8127;
        double r8136 = r8134 * r8135;
        double r8137 = sqrt(r8136);
        return r8137;
}