結果 : antiderivative of 2cos(2x)