Simplify f^1g^-1