Pow Mul -2 Pow x6 acosh Add x0 x0 sec x2 
Mul Pow Mul -2 Pow x6 acosh Add x0 x0 Add sec x2 -1 Mul sec x2 Mul -2 Mul Pow x6 Add acosh Add x0 x0 -1 Mul Mul x6 log x6 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 