Worked example: power series from cos(x)