Add Pow acsc x0 x0 sin Mul Mul Pow sec coth x0 x0 Pow Mul Pow 4 pi Add x0 csch cosh x1 x1 x0 
Add Mul Pow acsc x0 Add x0 -1 Add Mul x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul acsc x0 log acsc x0 Mul cos Mul Mul Pow sec coth x0 x0 Pow Mul Pow 4 pi Add x0 csch cosh x1 x1 x0 Add Mul x0 Add Mul Pow Mul Pow 4 pi Add x0 csch cosh x1 x1 Mul Pow sec coth x0 Add x0 -1 Add Mul x0 Mul Mul tan coth x0 sec coth x0 Mul -1 Pow csch x0 2 Mul sec coth x0 log sec coth x0 Mul Pow sec coth x0 x0 Mul Pow Mul Pow 4 pi Add x0 csch cosh x1 Add x1 -1 Mul x1 Pow 4 pi Mul Pow sec coth x0 x0 Pow Mul Pow 4 pi Add x0 csch cosh x1 x1 