int (x - 1/(2 tan t))^2 + (1 - (x - 1/(2 tan t)))^2 dx dt, x=1/tan t to 1, t=pi/4 to pi/2