d/dx sin(2cos(x))