Here, we see a pattern take form. formula_12 seems to be a sum of sine and cosine's Taylor series, except with all of the signs changed to positive. The identity we are actually proving is formula_13.