derivative of arctan