Mul Pow coth x3 Mul coth Pow x0 Mul x0 asech x7 4 Mul Mul Pow x0 x3 Pow x1 Pow x0 Mul x0 x3 x7 
Add Mul Mul Mul Pow x0 x3 Pow x1 Pow x0 Mul x0 x3 x7 Mul Pow coth x3 Add Mul coth Pow x0 Mul x0 asech x7 4 -1 Mul Mul coth x3 log coth x3 Mul 4 Mul Mul -1 Pow csch Pow x0 Mul x0 asech x7 2 Mul Pow x0 Add Mul x0 asech x7 -1 Add Mul x0 asech x7 Mul Mul x0 log x0 asech x7 Mul Pow coth x3 Mul coth Pow x0 Mul x0 asech x7 4 Mul x7 Add Mul Pow x1 Pow x0 Mul x0 x3 Mul Pow x0 Add x3 -1 x3 Mul Pow x0 x3 Mul Pow x1 Add Pow x0 Mul x0 x3 -1 Mul Mul x1 log x1 Mul Pow x0 Add Mul x0 x3 -1 Add Mul x0 x3 Mul Mul x0 log x0 x3 