Cosine Sum Identity. The trig identity for the sum of two angles.