tanh csch Mul Pow Add Mul -2 acosh x2 x0 Mul E csch x0 Mul x0 Mul x0 -2 
Mul Pow sech csch Mul Pow Add Mul -2 acosh x2 x0 Mul E csch x0 Mul x0 Mul x0 -2 2 Mul Mul Mul -1 coth Mul Pow Add Mul -2 acosh x2 x0 Mul E csch x0 Mul x0 Mul x0 -2 csch Mul Pow Add Mul -2 acosh x2 x0 Mul E csch x0 Mul x0 Mul x0 -2 Add Mul Mul x0 Mul x0 -2 Mul Pow Add Mul -2 acosh x2 x0 Add Mul E csch x0 -1 Add Mul E csch x0 Mul Mul Add Mul -2 acosh x2 x0 log Add Mul -2 acosh x2 x0 Mul E Mul Mul -1 coth x0 csch x0 Mul Pow Add Mul -2 acosh x2 x0 Mul E csch x0 Add Mul x0 -2 Mul x0 -2 