How do you find the exact value of cos(tan12)?