How do you simplify cos^2(1+tan^2x)?