Pow Pow x0 log coth Pow x0 sqrt Pow x5 Pow x0 acosh x0 x1 
Mul Pow Pow x0 log coth Pow x0 sqrt Pow x5 Pow x0 acosh x0 Add x1 -1 Mul x1 Mul Pow x0 Add log coth Pow x0 sqrt Pow x5 Pow x0 acosh x0 -1 Add log coth Pow x0 sqrt Pow x5 Pow x0 acosh x0 Mul Mul x0 log x0 Mul Mul Mul -1 Pow csch Pow x0 sqrt Pow x5 Pow x0 acosh x0 2 Mul Pow x0 Add sqrt Pow x5 Pow x0 acosh x0 -1 Add sqrt Pow x5 Pow x0 acosh x0 Mul Mul x0 log x0 Mul Pow Mul 2 sqrt Pow x5 Pow x0 acosh x0 -1 Mul Pow x5 Add Pow x0 acosh x0 -1 Mul Mul x5 log x5 Mul Pow x0 Add acosh x0 -1 Add acosh x0 Mul Mul x0 log x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow coth Pow x0 sqrt Pow x5 Pow x0 acosh x0 -1 