In[]:=
Table[GraphicsGrid[{{Show[pl2,ListPlot[{{t,solx[t][[2]]}},PlotStyle{PointSize[0.02],Blue}]],Show[Plot[,{x,-2π,2π},AxesLabel(Style[#,20]&/@{"x",""})],ListPlot[{{solx[t][[2]],0}},PlotStyle{PointSize[0.02],Blue}]]}}],{t,0,8,0.5}];ListAnimate[%,2,SaveDefinitions->True]
x
x
Out[]=
JonathanShock,UniversityofCapeTown2021jon.shock@gmail.com
JonathanShock,UniversityofCapeTown2021jon.shock@gmail.com