結果 : what is the antiderivative of 1 cos 2x