Solution (source code)

= Solution

For the real <inverse hyperbolic tangent>, take $a\ne0$ and $|x/a|<1$. Its logarithmic expression gives
$$
y=\frac12\log\frac{1+x/a}{1-x/a},\qquad
\boxed{y'=\frac{a}{a^2-x^2}.}
$$
The same <derivative> holds on a differentiable complex branch away from its singularities.