Comment by measurablefunc

That's incorrect, you have to choose the proper inverse branch if you want the answer to be 9.