设y=[(x^2+1)/2]*(arctanx)^2-xarctanx+(1/2)ln(1+x^2),求y'以及dy