Pow sec x3 acsch asec Mul Mul acosh x0 Add x1 3 Mul x7 Mul -4 Add x6 sqrt E 
Mul Pow sec x3 Add acsch asec Mul Mul acosh x0 Add x1 3 Mul x7 Mul -4 Add x6 sqrt E -1 Mul Mul sec x3 log sec x3 Mul Mul -1 Mul Mul Mul x7 Mul -4 Add x6 sqrt E Mul Add x1 3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul acosh x0 Add x1 3 Mul x7 Mul -4 Add x6 sqrt E Mul Mul acosh x0 Add x1 3 Mul x7 Mul -4 Add x6 sqrt E -1 Mul Mul acosh x0 Add x1 3 Mul x7 Mul -4 Add x6 sqrt E Mul Mul acosh x0 Add x1 3 Mul x7 Mul -4 Add x6 sqrt E -1 Pow Mul Mul asec Mul Mul acosh x0 Add x1 3 Mul x7 Mul -4 Add x6 sqrt E asec Mul Mul acosh x0 Add x1 3 Mul x7 Mul -4 Add x6 sqrt E sqrt Add 1 Mul -1 Pow Mul asec Mul Mul acosh x0 Add x1 3 Mul x7 Mul -4 Add x6 sqrt E asec Mul Mul acosh x0 Add x1 3 Mul x7 Mul -4 Add x6 sqrt E -1 -1 