Add x0 Pow Add coth x0 Mul -1 Add Mul Add x5 Mul Pow atanh x3 x0 E x0 x1 -3 
Add 1 Mul Pow Add coth x0 Mul -1 Add Mul Add x5 Mul Pow atanh x3 x0 E x0 x1 4 Mul -3 Add Mul -1 Pow csch x0 2 Mul -1 Add Mul x0 Mul E Mul Pow atanh x3 Add x0 -1 Mul atanh x3 log atanh x3 Add x5 Mul Pow atanh x3 x0 E 