Mul Pow x4 x0 Add Mul Pow x6 exp cosh csch x0 x0 Mul 2 x0 
Add Mul Add Mul Pow x6 exp cosh csch x0 x0 Mul 2 x0 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Pow x4 x0 Add Add Mul x0 Mul Pow x6 Add exp cosh csch x0 -1 Mul Mul x6 log x6 Mul exp cosh csch x0 Mul sinh csch x0 Mul Mul -1 coth x0 csch x0 Pow x6 exp cosh csch x0 2 