sum (4 choose i)*(-1)^(i+1) * (8-2*i)!^2 / 8!^2 for i from 1 to 4