The Newton Method over $\mathbb{R}$ has the property that the precision is doubled (under some continuous differentialbe assumption) in each iteration. For the ring $\mathbb{Z}_p$ of $p$-adic integers, we also have the Hensel's lemma, but the precision is increase by 1 in each iteration. The proof about the double precision in the case over $\mathbb{R}$ uses the Taylor expansion and its remainder, see http://www.answers.com/topic/newton-s-method#Analysis .

In a special case that is finding square root, one can use $x_{n+1} := \frac{1}{2} x_n - \frac{3}{2} x_n^3 $ ( by considering $x^{-2}-c^{-1}$ instead of $x^2-c$) and one can show that the precision is doubled in the case over $\mathbb{Z}_p$.

In general, is the precision is doubled in each iteration in the case over $\mathbb{Z}_p$, under some conditions?