How do you integrate tan1xx2+1 by trigonometric substitution?