integrate (1)/(1 + x^2) dx via substituição x = tantheta