Show that the variance of x is given by \operatorname{Var}(x(t))=\frac{1}{12}-\frac{5}{16 \pi^{2}}-\frac{256}{81 \pi^{4}} \cos ^{2}\left(\frac{3 \pi^{2} \hbar}{2 m} t\right)