series of cos(x) at x=pi/4