(2x-2*cos(x)*sin(x))'