TeX source:
\tan(\arctan x)=x