Exercise 1.6.5
\(f(x)=9-x^2\) for \(x\ge3\).
\(f^{-1}(x)=\sqrt{9-x}\) for \(x<0\).
