csch Pow atan Mul acosh x5 x0 csch x6 
Mul Mul Mul -1 coth Pow atan Mul acosh x5 x0 csch x6 csch Pow atan Mul acosh x5 x0 csch x6 Mul Pow atan Mul acosh x5 x0 Add csch x6 -1 Mul csch x6 Mul acosh x5 Pow Add 1 Mul Mul acosh x5 x0 Mul acosh x5 x0 -1 