derivative sin(2*sin(2x))