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