d/dx sin(cos(2x))