Note on arcctg x derivative