Add Mul x2 Pow sec Mul Mul acosh x0 csch x0 x7 x0 5 
Mul x2 Mul Pow sec Mul Mul acosh x0 csch x0 x7 Add x0 -1 Add Mul x0 Mul Mul tan Mul Mul acosh x0 csch x0 x7 sec Mul Mul acosh x0 csch x0 x7 Mul x7 Add Mul csch x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Mul -1 coth x0 csch x0 Mul sec Mul Mul acosh x0 csch x0 x7 log sec Mul Mul acosh x0 csch x0 x7 