xdx=\frac{1}{2}dt