d/dx(2cos(x^2-2x))