Inverse of a one-to-one function:
When the function is not one-to-one
InverseFunction issues a message:
For functions with a named principal branch of the inverse, the message is not issued:
Inverse function with respect to the second argument:
Inverse of a function with a restricted domain:
The domain of the inverse function is computed automatically:
Here a closed-form representation for the inverse function does not exist:
Evaluation of the inverse function at exact points yields exact numeric values:
However, the inverse may not be unique:
InverseFunction with respect to the first argument of a two-argument function:
Here a closed-form representation for the inverse function does not exist:
Evaluation at an exact point does not find an exact numeric representation:
Evaluation at an approximate point yields a numeric result:
Automatic simplification of symbolic inverses:
is equal to y. 
argument when there are tot arguments in all. 
. 
and point 
, 
:
nor 
for arbitrary 
and 
:
exist, 
gives a solution of 
:
:
:
do not exist, 
is not a solution of 
:
and 
may not hold for arbitrary 
and 
:
EXAMPLES
Basic Examples 
Scope 