derivative cos(cos(x))