We have the two identities: sin^2(t) + cos^2(t) = 1 cos^2(t) - sin^2(t) = cos(2t) If we add these together: 2cos^2(t) = 1 + cos(2t) --------- Using this we can rewrite the integral as: 1/2 *