\hbox{d}t=\frac{-x\hbox{d}x}{\sqrt{1-x^2}}