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