Add x0 Mul Mul x3 atanh Pow coth x0 Mul E coth x1 E 
Add 1 Mul E Mul x3 Mul Mul Pow coth x0 Add Mul E coth x1 -1 Mul Mul E coth x1 Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul Pow coth x0 Mul E coth x1 Pow coth x0 Mul E coth x1 -1 