Pow Pow csch x0 E Pow Mul x0 atanh x3 Add x0 -1 
Mul Pow Pow csch x0 E Add Pow Mul x0 atanh x3 Add x0 -1 -1 Add Mul Pow Mul x0 atanh x3 Add x0 -1 Mul Pow csch x0 Add E -1 Mul E Mul Mul -1 coth x0 csch x0 Mul Mul Pow csch x0 E log Pow csch x0 E Mul Pow Mul x0 atanh x3 Add Add x0 -1 -1 Add Mul Add x0 -1 atanh x3 Mul Mul x0 atanh x3 log Mul x0 atanh x3 