Applying ρ 1 yields the term "g" ("x ","x "), while applying ρ 2 yields the term"f " ("x ","x").
Applying ρ 1 yields the term "g" ("x ","x "), while applying ρ 2 yields the term"x ". The critical pair is then ("g " ("x ","x "),"x").