How do you simplify cos2x=1tan2x1+tan2x?