Simplify f^-1(1)