1x-x2 dx