The simplify/@ function is used to simplify expressions which contain operators.

Specifically, it simplifies compositions of inverses.  It uses the table invfunc as its knowledge base for these simplifications, so that it is possible for the user to modify the action of this function.

simplify(sin@arcsin, `@`);

simplify(exp@ln, `@`);

invfunc[f] := g:

simplify(f@@(-1)@g@@2);