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 r107110 = a;
        double r107111 = b;
        double r107112 = r107110 + r107111;
        double r107113 = c;
        double r107114 = r107112 + r107113;
        double r107115 = 2.0;
        double r107116 = r107114 / r107115;
        double r107117 = r107116 - r107110;
        double r107118 = r107116 * r107117;
        double r107119 = r107116 - r107111;
        double r107120 = r107118 * r107119;
        double r107121 = r107116 - r107113;
        double r107122 = r107120 * r107121;
        double r107123 = sqrt(r107122);
        return r107123;
}