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 r153813 = a;
        double r153814 = b;
        double r153815 = r153813 + r153814;
        double r153816 = c;
        double r153817 = r153815 + r153816;
        double r153818 = 2.0;
        double r153819 = r153817 / r153818;
        double r153820 = r153819 - r153813;
        double r153821 = r153819 * r153820;
        double r153822 = r153819 - r153814;
        double r153823 = r153821 * r153822;
        double r153824 = r153819 - r153816;
        double r153825 = r153823 * r153824;
        double r153826 = sqrt(r153825);
        return r153826;
}