power series cos(x)^2 at x=pi/2