arcctg{x}-\frac{\pi}{2}=-\arctan{x}