CAS: Hyperbolic Functions, assume (Beta)

[Eddie W. Shore]

I am testing integrals. I don't notice any simplification when it comes to hyperbolic functions.

Example:
(e^x - e^-x)/2 doesn't simplify to sinh(x)

Just want to confirm whether CAS on the HP Prime hasn't implement algebraic rewriting commands with hyperbolic functions.

Why doesn't assume work when we want to use "not equals", example a <> 3 (a is not equals to 3)?

Other than this, I have not notice any behavior with Beta software so far.