pi/2-acot(x/(x-1)) vs atan(1-1/x)