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