How do you find the exact value of cos(tan^-1(sqrt3/4))?