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