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