Mul -3 Add Add E Pow x1 acosh Add Pow sec x7 x0 x0 1 
Mul -3 Mul Pow x1 Add acosh Add Pow sec x7 x0 x0 -1 Mul Mul x1 log x1 Mul Add Mul Pow sec x7 Add x0 -1 Mul sec x7 log sec x7 1 Pow Mul sqrt Add Add Pow sec x7 x0 x0 -1 sqrt Add 1 Add Pow sec x7 x0 x0 -1 