How do you find the value of cos(2 tan ^-1 x)?