Pow Mul Mul x0 3 x0 Mul Mul x0 coth acot Mul x0 coth x6 Add Mul Add Pow x0 Mul x2 2 x7 x0 x0 
Mul Pow Mul Mul x0 3 x0 Add Mul Mul x0 coth acot Mul x0 coth x6 Add Mul Add Pow x0 Mul x2 2 x7 x0 x0 -1 Add Mul Mul Mul x0 coth acot Mul x0 coth x6 Add Mul Add Pow x0 Mul x2 2 x7 x0 x0 Add Mul x0 3 Mul x0 3 Mul Mul Mul Mul x0 3 x0 log Mul Mul x0 3 x0 Add Mul Add Mul Add Pow x0 Mul x2 2 x7 x0 x0 Add coth acot Mul x0 coth x6 Mul x0 Mul Mul -1 Pow csch acot Mul x0 coth x6 2 Mul -1 Mul coth x6 Pow Add 1 Mul Mul x0 coth x6 Mul x0 coth x6 -1 Mul Mul x0 coth acot Mul x0 coth x6 Add Add Mul x0 Mul Pow x0 Add Mul x2 2 -1 Mul x2 2 Add Pow x0 Mul x2 2 x7 1 