Rewrite, for ,
in terms of the inverse hyperbolic sine.
Notice what is different about this version. The standard identity
expects the constant under the root to be . Here the constant is itself, not , so the scale factor that normalises it is rather than — and that single difference changes the additive constant at the end.
Factor out of the square root. For ,
writing to expose the required form.
Factor out of the whole argument.
The bracket is now literally the argument of the arsinh identity with .
Split the logarithm of the product. Using ,
Simplify the constant. Since ,
Compare with the version, where the constant is a full : the exponent under the root is halved, and so is the log.
Verify numerically. With , : the left side is , and ✓.
Need to solve a different problem like this? Open the solver →