How do you prove tan x - 1 = (sin^2 x - cos^2 x)/(sin x cos x + cos^2 x)?