Mul Mul coth x0 acos Add x0 Add Add -1 x6 pi Mul 3 x0 
Add Mul Mul 3 x0 Add Mul acos Add x0 Add Add -1 x6 pi Mul -1 Pow csch x0 2 Mul coth x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 Add Add -1 x6 pi Add x0 Add Add -1 x6 pi -1 Mul Mul coth x0 acos Add x0 Add Add -1 x6 pi 3 