derivative arccos cos^2 x