TeX source:
\left(f^{-1} \circ f\right)(x)=f^{-1}(f(x))=f^{-1}(y)=x