\hbox{d}t/\hbox{d}x=\cos x=\sqrt{1-\sin^2x}