How do you integrate #int tan^-1x/(x^2+1)# by trigonometric substitution?