How do you find the antiderivative of #cos(2x)#?