This is equivalent both to inverseMap(phi,MathMode=>true,Verbose=>false) and to phi^(-1), see inverseMap.