For real −1≤x≤1, the principal arccosine is the unique angle θ∈[0,π] satisfying cosθ=x. Restricting to this interval makes the cosine one-to-one. Differentiating the identity on −1<x<1 gives d(arccosx)/dx=−1/1−x2. Other solutions of cosθ=x are θ=±arccosx+2πn, with integer n; an initial condition can select one of these branches.