(d/dx)((1/sqrt(2))*arcsin(sqrt(2x^2/(x^2+1))))