z integrate (1)/(1 + x^2) dx via la substitution x = tantheta