sum (2^k) * (4!/(4-k)!) for k=1 to 4