x'=\frac{x_0-v\frac{t'+vx'/c^2}{\sqrt{1-v^2/c^2}}}{\sqrt{1-v^2/c^2}}