(d/dx)∫[cosx, x²](x-t)costdt = (d/dx){x*∫[cosx, x²]costdt-∫[cosx, x²]tcostdt} = ∫[cosx, x²]costdt+x*{coscosx*(-sinx)-cosx²*2x} -[cosx*coscosx*(-sinx)-x²*cosx²*2x] = ……。
