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