Source TeX:
\cos(\arctan(x))=\cos(y)