Add x7 Add Mul Pow x6 Add Pow Pow x2 Pow x0 Add atan coth x0 4 3 x0 Mul pi 3 Add Add x0 Mul x0 E x0 
Add Mul Mul pi 3 Mul Pow x6 Add Add Pow Pow x2 Pow x0 Add atan coth x0 4 3 x0 -1 Mul Mul x6 log x6 Add Mul Pow Pow x2 Pow x0 Add atan coth x0 4 2 Mul 3 Mul Pow x2 Add Pow x0 Add atan coth x0 4 -1 Mul Mul x2 log x2 Mul Pow x0 Add Add atan coth x0 4 -1 Add Add atan coth x0 4 Mul Mul x0 log x0 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul coth x0 coth x0 -1 1 Add Add 1 E 1 