derivative with inverse tangent and chain rule