Add Mul Mul csch x0 x0 Add coth acosh atanh x0 x5 Mul asec Mul x5 x7 E 
Add Mul Add coth acosh atanh x0 x5 Add Mul x0 Mul Mul -1 coth x0 csch x0 csch x0 Mul Mul csch x0 x0 Mul Mul -1 Pow csch acosh atanh x0 2 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add atanh x0 -1 sqrt Add 1 atanh x0 -1 