Add Add Mul x0 x3 Pow coth Pow x0 cosh E Add Add x0 x0 x0 x0 
Add Add x3 Mul Pow coth Pow x0 cosh E Add Add Add x0 x0 x0 -1 Add Mul Add Add x0 x0 x0 Mul Mul -1 Pow csch Pow x0 cosh E 2 Mul Pow x0 Add cosh E -1 cosh E Mul Mul coth Pow x0 cosh E log coth Pow x0 cosh E 3 1 