Add atanh x3 acosh Pow coth x0 Pow x0 cbrt acosh x7 
Mul Mul Pow coth x0 Add Pow x0 cbrt acosh x7 -1 Add Mul Pow x0 cbrt acosh x7 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul Pow x0 Add cbrt acosh x7 -1 cbrt acosh x7 Pow Mul sqrt Add Pow coth x0 Pow x0 cbrt acosh x7 -1 sqrt Add 1 Pow coth x0 Pow x0 cbrt acosh x7 -1 