Tangent Sum Identity. The trig identity of the sum of two angles.