Sine Difference Identity. The trig identity for the difference of two angles.