Mul acosh x7 csch acosh Add Pow Pow pi Add coth x0 Pow x0 x0 asech x2 Add x0 atan x0 
Mul acosh x7 Mul Mul Mul -1 coth acosh Add Pow Pow pi Add coth x0 Pow x0 x0 asech x2 Add x0 atan x0 csch acosh Add Pow Pow pi Add coth x0 Pow x0 x0 asech x2 Add x0 atan x0 Mul Add Mul Pow Pow pi Add coth x0 Pow x0 x0 Add asech x2 -1 Mul asech x2 Mul Pow pi Add Add coth x0 Pow x0 x0 -1 Mul Mul pi log pi Add Mul -1 Pow csch x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add 1 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Add Pow Pow pi Add coth x0 Pow x0 x0 asech x2 Add x0 atan x0 -1 sqrt Add 1 Add Pow Pow pi Add coth x0 Pow x0 x0 asech x2 Add x0 atan x0 -1 