Cannot sample enough valid points. (more)

\[0.0 \lt a \lt b + c \land 0.0 \lt b \lt a + c \land 0.0 \lt c \lt a + b\]
\[\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 r7631205 = a;
        double r7631206 = b;
        double r7631207 = r7631205 + r7631206;
        double r7631208 = c;
        double r7631209 = r7631207 + r7631208;
        double r7631210 = 2.0;
        double r7631211 = r7631209 / r7631210;
        double r7631212 = r7631211 - r7631205;
        double r7631213 = r7631211 * r7631212;
        double r7631214 = r7631211 - r7631206;
        double r7631215 = r7631213 * r7631214;
        double r7631216 = r7631211 - r7631208;
        double r7631217 = r7631215 * r7631216;
        double r7631218 = sqrt(r7631217);
        return r7631218;
}