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