Mul csch Pow atan x0 Mul x3 3 Mul 4 x0 
Add Mul Mul 4 x0 Mul Mul Mul -1 coth Pow atan x0 Mul x3 3 csch Pow atan x0 Mul x3 3 Mul Pow atan x0 Add Mul x3 3 -1 Mul Mul x3 3 Pow Add 1 Mul x0 x0 -1 Mul csch Pow atan x0 Mul x3 3 4 