TeX source:
\bigl( 1+\tan^2(\arctan x)\bigr) \cdot D(\arctan x) = D x = 1