sqrt Pow coth Mul x7 Mul 2 x0 Pow Pow pi Add x0 x0 2 
Mul Pow Mul 2 sqrt Pow coth Mul x7 Mul 2 x0 Pow Pow pi Add x0 x0 2 -1 Mul Pow coth Mul x7 Mul 2 x0 Add Pow Pow pi Add x0 x0 2 -1 Add Mul Pow Pow pi Add x0 x0 2 Mul Mul -1 Pow csch Mul x7 Mul 2 x0 2 Mul x7 2 Mul Mul coth Mul x7 Mul 2 x0 log coth Mul x7 Mul 2 x0 Mul Pow pi Add x0 x0 Mul 2 Mul Pow pi Add Add x0 x0 -1 Mul Mul pi log pi 2 