Pow Pow Add x0 acosh x1 asec acosh x6 Add x0 -2 
Mul Pow Pow Add x0 acosh x1 asec acosh x6 Add Add x0 -2 -1 Add Mul Add x0 -2 Mul Pow Add x0 acosh x1 Add asec acosh x6 -1 asec acosh x6 Mul Pow Add x0 acosh x1 asec acosh x6 log Pow Add x0 acosh x1 asec acosh x6 