Verify that (cos^2x - sin^2x) / (1-tan^2x) = cos^2x ?