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