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 r649571 = a;
        double r649572 = b;
        double r649573 = r649571 + r649572;
        double r649574 = c;
        double r649575 = r649573 + r649574;
        double r649576 = 2.0;
        double r649577 = r649575 / r649576;
        double r649578 = r649577 - r649571;
        double r649579 = r649577 * r649578;
        double r649580 = r649577 - r649572;
        double r649581 = r649579 * r649580;
        double r649582 = r649577 - r649574;
        double r649583 = r649581 * r649582;
        double r649584 = sqrt(r649583);
        return r649584;
}