(2cos(x^2-2x))'