 Solution

For fixed $x\ne 0$, the chain rule and the derivative of the hyperbolic secant giveThus the stated antiderivative holds, with its integration constant independent of $y$ but allowed to depend on $x$. At $x=0$ the integrand is zero and the antiderivative is simply constant; the displayed formula with $1/x$ is meant for nonzero $x$.