Pow Mul x0 x4 Mul Pow x0 8 csch x0 
Mul Pow Mul x0 x4 Add Mul Pow x0 8 csch x0 -1 Add Mul Mul Pow x0 8 csch x0 x4 Mul Mul Mul x0 x4 log Mul x0 x4 Add Mul csch x0 Mul Pow x0 7 8 Mul Pow x0 8 Mul Mul -1 coth x0 csch x0 