Mul asech Pow Add E log x7 cosh x0 acosh Pow x0 sec x0 
Add Mul acosh Pow x0 sec x0 Mul Mul Pow Add E log x7 Add cosh x0 -1 Mul Mul Add E log x7 log Add E log x7 sinh x0 Pow Mul Mul Pow Add E log x7 cosh x0 Pow Add E log x7 cosh x0 sqrt Add 1 Mul -1 Pow Mul Pow Add E log x7 cosh x0 Pow Add E log x7 cosh x0 -1 -1 Mul asech Pow Add E log x7 cosh x0 Mul Mul Pow x0 Add sec x0 -1 Add sec x0 Mul Mul x0 log x0 Mul tan x0 sec x0 Pow Mul sqrt Add Pow x0 sec x0 -1 sqrt Add 1 Pow x0 sec x0 -1 