Calculus · Challenge problem

Let $F(x)=\arcsin(\sin x)+2\arccos(\cos x)$. Find $F'(10)$. (Use $\pi\approx3.14159$ to locate $10$.)