Whenever three angles satisfy $X = Y + Z$, their tangents satisfy the universal product-to-difference conversion property:
$$\tan X \cdot \tan Y \cdot \tan Z = \tan X - \tan Y - \tan Z$$
Recognizing this relationship structure lets you skip the derivation entirely.