Mul coth tanh Pow x0 Add atanh acosh E x1 -1 
Mul -1 Mul Mul -1 Pow csch tanh Pow x0 Add atanh acosh E x1 2 Mul Pow sech Pow x0 Add atanh acosh E x1 2 Mul Pow x0 Add Add atanh acosh E x1 -1 Add atanh acosh E x1 