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