derivative cos 2x − 2 sin x