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