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