f(inversef(x_)) := x;