How do you integrate cos2x?