Input: definition(sinh(x))
Write: `definition(sinh(x))`
Output: $$ $$definition:$$sinh(x) == (\frac{-1}{2})\ exp((-x))+\frac{1}{2}\ exp(x) $$ Result:$$(\frac{-1}{2})\ exp((-x))+\frac{1}{2}\ exp(x)$$