Mul Mul x0 acosh Add Add x4 coth x0 acos x0 asec Pow x5 x0 
Add Mul asec Pow x5 x0 Add acosh Add Add x4 coth x0 acos x0 Mul x0 Mul Add Mul -1 Pow csch x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Add Add x4 coth x0 acos x0 -1 sqrt Add 1 Add Add x4 coth x0 acos x0 -1 Mul Mul x0 acosh Add Add x4 coth x0 acos x0 Mul Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x5 x0 Pow x5 x0 -1 Pow x5 x0 Pow x5 x0 -1 