Pow Pow x0 -2 Pow x4 Pow acos Add 8 x0 asec x6 
Mul Pow Pow x0 -2 Add Pow x4 Pow acos Add 8 x0 asec x6 -1 Add Mul Pow x4 Pow acos Add 8 x0 asec x6 Mul Pow x0 3 -2 Mul Mul Pow x0 -2 log Pow x0 -2 Mul Pow x4 Add Pow acos Add 8 x0 asec x6 -1 Mul Mul x4 log x4 Mul Pow acos Add 8 x0 Add asec x6 -1 Mul asec x6 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add 8 x0 Add 8 x0 -1 