The invfunc table is used by solve, simplify and the `@@` operator to replace (explicit or implicit) occurrences of expressions of the form  with the corresponding inverse function.

The Invfunc table is similar to the invfunc table, but returns a multiple valued inverse (in case the inverse is a multiple valued function). A multiple value function normally uses a _Z or _NN additional variable which is assumed to be in the correct domain. _Zxx variables stand for arbitrary integers, _NNxx stand for arbitrary natural numbers (non-negative integers).

Entries may be added to or deleted from the table just as for any other Maple table.

The table is uni-directional.  That is, if there is an entry in the table of the form invfunc[f] = g, Maple does not assume that .