ArcCotangent Derivative Rule