tan sinh Pow atanh Pow x0 -1 E 
Mul Pow sec sinh Pow atanh Pow x0 -1 E 2 Mul cosh Pow atanh Pow x0 -1 E Mul Pow atanh Pow x0 -1 Add E -1 Mul E Mul Mul Pow x0 2 -1 Pow Add 1 Mul -1 Mul Pow x0 -1 Pow x0 -1 -1 