derivative atan x+asin(1/sqrt(1+x^2))