Mul Add sqrt Pow x0 cot E Add acoth x2 Mul Pow acsch x0 Add x0 Add x0 pi Add -1 x6 pi 
Mul pi Add Mul Pow Mul 2 sqrt Pow x0 cot E -1 Mul Pow x0 Add cot E -1 cot E Mul Add -1 x6 Mul Pow acsch x0 Add Add x0 Add x0 pi -1 Add Mul Add x0 Add x0 pi Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul acsch x0 log acsch x0 2 