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