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 r931499 = a;
        double r931500 = b;
        double r931501 = r931499 + r931500;
        double r931502 = c;
        double r931503 = r931501 + r931502;
        double r931504 = 2.0;
        double r931505 = r931503 / r931504;
        double r931506 = r931505 - r931499;
        double r931507 = r931505 * r931506;
        double r931508 = r931505 - r931500;
        double r931509 = r931507 * r931508;
        double r931510 = r931505 - r931502;
        double r931511 = r931509 * r931510;
        double r931512 = sqrt(r931511);
        return r931512;
}