Simplify f^-1(4)