Add Pow Pow coth x4 Pow Mul E x0 x2 -2 Pow x7 Add Mul 2 Mul Pow x0 Add 0.756802495307928 pi x4 Add 4 x0 
Add Mul Pow Pow coth x4 Pow Mul E x0 x2 3 Mul -2 Mul Pow coth x4 Add Pow Mul E x0 x2 -1 Mul Mul coth x4 log coth x4 Mul Pow Mul E x0 Add x2 -1 Mul x2 E Mul Pow x7 Add Add Mul 2 Mul Pow x0 Add 0.756802495307928 pi x4 Add 4 x0 -1 Mul Mul x7 log x7 Add Mul 2 Mul x4 Mul Pow x0 Add Add 0.756802495307928 pi -1 Add 0.756802495307928 pi 1 