Mul x0 Mul -2 csch cosh Pow Pow x7 2 Pow x7 x0 
Add Mul -2 csch cosh Pow Pow x7 2 Pow x7 x0 Mul x0 Mul -2 Mul Mul Mul -1 coth cosh Pow Pow x7 2 Pow x7 x0 csch cosh Pow Pow x7 2 Pow x7 x0 Mul sinh Pow Pow x7 2 Pow x7 x0 Mul Pow Pow x7 2 Add Pow x7 x0 -1 Mul Mul Pow x7 2 log Pow x7 2 Mul Pow x7 Add x0 -1 Mul x7 log x7 