sum of (-1)^k * binom(x,n-k) * binom (y-2x,k) * 2^k for k=0..n