Pow Pow x0 csch Mul Mul x0 2 Mul x6 x7 5 
Mul Pow Pow x0 csch Mul Mul x0 2 Mul x6 x7 4 Mul 5 Mul Pow x0 Add csch Mul Mul x0 2 Mul x6 x7 -1 Add csch Mul Mul x0 2 Mul x6 x7 Mul Mul x0 log x0 Mul Mul Mul -1 coth Mul Mul x0 2 Mul x6 x7 csch Mul Mul x0 2 Mul x6 x7 Mul Mul x6 x7 2 