cos(x) + cos(2x) + cos(3x), x=0 to pi