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 r1839496 = a;
        double r1839497 = b;
        double r1839498 = r1839496 + r1839497;
        double r1839499 = c;
        double r1839500 = r1839498 + r1839499;
        double r1839501 = 2.0;
        double r1839502 = r1839500 / r1839501;
        double r1839503 = r1839502 - r1839496;
        double r1839504 = r1839502 * r1839503;
        double r1839505 = r1839502 - r1839497;
        double r1839506 = r1839504 * r1839505;
        double r1839507 = r1839502 - r1839499;
        double r1839508 = r1839506 * r1839507;
        double r1839509 = sqrt(r1839508);
        return r1839509;
}