integrate cos(2 x)