The composition of a function with it's inverse