Composition[f, Identity, g] Composition[f, InverseFunction[f], h][x]