integrate_0^(pi) 1/2 (cos(x)-cos(7 x)) dx