Input: def(asinh(x))
Write: `def(asinh(x))`
Output: $$ definition:\\ \ asinh(x) == log(x+\sqrt{1+{x}^{2}}) $$ Result:$$log(x+\sqrt{1+{x}^{2}})$$