integrate cos(x) x