Pow Pow 2 Pow x4 4 Mul Pow x6 coth x0 x1 
Mul Pow Pow 2 Pow x4 4 Add Mul Pow x6 coth x0 x1 -1 Mul Mul Pow 2 Pow x4 4 log Pow 2 Pow x4 4 Mul x1 Mul Pow x6 Add coth x0 -1 Mul Mul x6 log x6 Mul -1 Pow csch x0 2 