inversef(f(x_)):=x;