Mul sec Mul acosh x5 acosh x0 Mul csch csch x0 x0 
Add Mul Mul csch csch x0 x0 Mul Mul tan Mul acosh x5 acosh x0 sec Mul acosh x5 acosh x0 Mul acosh x5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul sec Mul acosh x5 acosh x0 Add Mul x0 Mul Mul Mul -1 coth csch x0 csch csch x0 Mul Mul -1 coth x0 csch x0 csch csch x0 