My question is regarding number 24! How can you manipulate the (1-sin^2(t)) term into a (1-cos(2t)/2 term?