sum_(k=0)^3 cos(k π x)