結果 : antiderivative of cos(x^2-5)