[math-fun] asinh (hyperbolic arc sine) identities ?