Worked example: cosine function from power series