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