The invfunc table is used by solve, simplify and the `@@` operator to replace (explicit or implicit) occurrences of expressions of the form $f^{\left(\mathrm{-1}\right)}$ 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 $g^{\left(\mathrm{-1}\right)}=f$.

sin@@(-1);

$\arcsin$

ln@@(-3);

${\exp }^{\left(3\right)}$

LambertW@@(-1);

$\mathrm{invfunc}\left[\mathrm{LambertW}\right]$

unprotect('invfunc');

invfunc[f] := g;

${\mathrm{invfunc}}_f≔g$

f@@(-2);

$g^{\left(2\right)}$

solve(LambertW(x)=y, x);

$y{\ⅇ}^y$

Invfunc[sin](1);

$\frac{1}{2}\mathrm{\pi }+2\mathrm{\pi }\mathrm{\_Z1~}$

Invfunc[exp](x);

$\ln \left(x\right)+2\mathrm{I}\mathrm{\pi }\mathrm{\_Z2~}$