How do you find the exact value of cos2x using the double angle formula?