Source TeX:
\cos(\arctan(x))=\cos(y)=\boxed{\dfrac{1}{\sqrt{x^2+1}}}