Pow Add x0 Mul Pow coth E x0 atan Mul Mul 8 x0 x0 -1 
Mul Pow Add x0 Mul Pow coth E x0 atan Mul Mul 8 x0 x0 2 Mul -1 Add 1 Add Mul atan Mul Mul 8 x0 x0 Mul Pow coth E Add x0 -1 Mul coth E log coth E Mul Pow coth E x0 Mul Add Mul x0 8 Mul 8 x0 Pow Add 1 Mul Mul Mul 8 x0 x0 Mul Mul 8 x0 x0 -1 