Pow csch Mul Mul x0 x0 coth Mul x0 x0 E 
Mul Pow csch Mul Mul x0 x0 coth Mul x0 x0 Add E -1 Mul E Mul Mul Mul -1 coth Mul Mul x0 x0 coth Mul x0 x0 csch Mul Mul x0 x0 coth Mul x0 x0 Add Mul coth Mul x0 x0 Add x0 x0 Mul Mul x0 x0 Mul Mul -1 Pow csch Mul x0 x0 2 Add x0 x0 