x_2=\frac{x_3+v_2t_3}{\sqrt{1-(v_2/c)^2}},