=2xcos(x^2)dx
一般地
积分a(x)到b(x) f(t)dt的微分为
f(b(x))b'(x)dx-f(a(x))a'(x)dx