Add Mul csch x0 Mul -1 x0 Mul Mul Pow x1 -2 Add x0 Mul x0 atan x5 atan Mul x0 Mul 3 x0 
Add Add Mul Mul -1 x0 Mul Mul -1 coth x0 csch x0 Mul csch x0 -1 Add Mul atan Mul x0 Mul 3 x0 Mul Pow x1 -2 Add 1 atan x5 Mul Mul Pow x1 -2 Add x0 Mul x0 atan x5 Mul Add Mul 3 x0 Mul x0 3 Pow Add 1 Mul Mul x0 Mul 3 x0 Mul x0 Mul 3 x0 -1 