derivative of x*sin(cos(x))