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 r1624477 = a;
        double r1624478 = b;
        double r1624479 = r1624477 + r1624478;
        double r1624480 = c;
        double r1624481 = r1624479 + r1624480;
        double r1624482 = 2.0;
        double r1624483 = r1624481 / r1624482;
        double r1624484 = r1624483 - r1624477;
        double r1624485 = r1624483 * r1624484;
        double r1624486 = r1624483 - r1624478;
        double r1624487 = r1624485 * r1624486;
        double r1624488 = r1624483 - r1624480;
        double r1624489 = r1624487 * r1624488;
        double r1624490 = sqrt(r1624489);
        return r1624490;
}