ну я вроде так и сделал)
(arctgx)`=1/1+x^2