\tan(\arctan(x))=x