Simplify f^-1(8)