How do you find the value of cos(2tan1x)?