Problem 663 (difficulty: 3/10)
\(\displaystyle 8x+\cos x\) is strictly monotone increasing. What is the derivative of its inverse in \(\displaystyle 1\)?