Pow csch Pow Mul Mul x0 atanh x3 Add cosh x7 -1 x3 x0 
Mul Pow csch Pow Mul Mul x0 atanh x3 Add cosh x7 -1 x3 Add x0 -1 Add Mul x0 Mul Mul Mul -1 coth Pow Mul Mul x0 atanh x3 Add cosh x7 -1 x3 csch Pow Mul Mul x0 atanh x3 Add cosh x7 -1 x3 Mul Pow Mul Mul x0 atanh x3 Add cosh x7 -1 Add x3 -1 Mul x3 Mul Add cosh x7 -1 atanh x3 Mul csch Pow Mul Mul x0 atanh x3 Add cosh x7 -1 x3 log csch Pow Mul Mul x0 atanh x3 Add cosh x7 -1 x3 