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