16\int_0^{\pi/2} {(sintcost)^2}dt=4\int_0^{\pi/2} {sin^2 2t}dt=2\int_0^{\pi/2} {(1-cos4t)}dt