Pow Add Pow x0 asec x1 Mul x0 Add x0 Add Pow x7 -3 Mul 2 x0 acosh E 
Mul Pow Add Pow x0 asec x1 Mul x0 Add x0 Add Pow x7 -3 Mul 2 x0 Add acosh E -1 Mul acosh E Add Mul Pow x0 Add asec x1 -1 asec x1 Add Add x0 Add Pow x7 -3 Mul 2 x0 Mul x0 3 