Verify each identity:
(tan x + tan y) / (1 - tan x tan y) = (sin x cos y + cos x sin y) / (cos x cos y - sin x sin y)
(tan x + tan y) / (1 - tan x tan y) = (sin x cos y + cos x sin y) / (cos x cos y - sin x sin y)