Интегралы

Сегодня весь день мучилась с этими интегралами, проверьте пожалуйста правильность решения, завтра нужно уже сдать!

1. `int_(-infty)^(+infty) dx/(x^2+1)^2`

2. `int_(0)^(1) dx/sqrt(1-x^2)` & `int_(0)^(1) sqrt(x)*dx/sqrt(1-x^4)`

3. `int_(1)^(+infty) arctg(x)*dx/x^2`

и еще по дискретной математике - правильно ли доказано с право налево?

4. `(A uuu B) setminus C=(A setminus C) uuu (B setminus C)`