If x > 1, then 2tan^-1x + sin^-1(2x/(1+x^2)) is equal to