\[x'=\frac{(c-v)t}{\sqrt{1-\frac{v^2}{c^2}}}\]