sum_{j=1,4} ((-1)^j binom(2*4, 4-j) cos(2j x)) + binom(2*4,4)/2