x'=\frac{l-2v\left(\frac{t'\sqrt{1-v^2/c^2}+lv/c^2}{1+v^2/c^2}\right)}{\sqrt{1-v^2/c^2}}=l\frac{1-\frac{2v^2/c^2}{1+v^2/c^2}}{\sqrt{1-v^2/c^2}}-\frac{2v}{1+v^2/c^2}t'