Derive Cosine of a Sum Identity