Add Mul E x0 Pow Mul Pow -4 x7 Add Mul -1 x0 pi csch Pow x0 Add pi 1 
Add E Mul Pow Mul Pow -4 x7 Add Mul -1 x0 pi Add csch Pow x0 Add pi 1 -1 Add Mul csch Pow x0 Add pi 1 Mul Pow -4 x7 -1 Mul Mul Mul Pow -4 x7 Add Mul -1 x0 pi log Mul Pow -4 x7 Add Mul -1 x0 pi Mul Mul Mul -1 coth Pow x0 Add pi 1 csch Pow x0 Add pi 1 Mul Pow x0 Add Add pi 1 -1 Add pi 1 