... original¹

some inverse functions will have to be considered multivalued, and each choice of branch could give a solution. E.g. $\sin x = 1/2$ has infinitely many solutions. Alternatively, inverses of multivalued functions may give solutions which do not match their principal value. E.g. the iterator for $\sin^{-1} x = \pi$ would be $x=\sin \pi =0$ which is not a solution. Section 4 describes how to solve these problems.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... RootOf²

The notation ${\tt RootOf}(F=0,x)$ stands for the values of x which make F(x)=0. This is Maple's mechanism to represent algebraic numbers, algebraic functions or any root of an equation.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.