Take the argument from the book as the argument transformation and consider the square (as one should do always with elliptic integrals, signs may be considered later on).
In Mathematica in order to avoid trival transfer errors
Solve[(x^2 + 1)/(x + 1)^2 == y, x] // FullSimplify
{{x->(y+Sqrt[-1+2 y])/(1-y)},{x->(-y+Sqrt[-1+2 y])/(-1+y)}}
((dx (x - 1)/((x + 1) Sqrt[x] Sqrt[x^2 + x + 1])))^2 //.
{x -> (y + Sqrt[-1 + 2 y])/(1 - y),
dx -> D[(y + Sqrt[-1 + 2 y])/(1 - y), y] dy} // FullSimplify
dy^2/(1 - y^2)
This yields the $\arcsin$ with domain and inversion of the map in the complex domain open to discussion. Real line integrals are always given as half definite integrals with lower or upper limits pinned to one of the branch points of the square roots. The indefinite integrals have an algebraical local meaning only.