x'=\frac{x-vt}{\sqrt{1-(v/c)^2}}