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