Pow Mul coth Mul Mul 2 x0 Pow Pow x0 x7 acosh x3 Pow sech x1 x0 E 
Mul Pow Mul coth Mul Mul 2 x0 Pow Pow x0 x7 acosh x3 Pow sech x1 x0 Add E -1 Mul E Add Mul Pow sech x1 x0 Mul Mul -1 Pow csch Mul Mul 2 x0 Pow Pow x0 x7 acosh x3 2 Add Mul Pow Pow x0 x7 acosh x3 2 Mul Mul 2 x0 Mul Pow Pow x0 x7 Add acosh x3 -1 Mul acosh x3 Mul Pow x0 Add x7 -1 x7 Mul coth Mul Mul 2 x0 Pow Pow x0 x7 acosh x3 Mul Pow sech x1 Add x0 -1 Mul sech x1 log sech x1 