\pi/2-\arctan(x)=arccotan(x)