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