Pow Pow Mul Pow acos log x2 x0 Pow sec x0 x0 Mul x4 log x0 x7 
Mul Pow Pow Mul Pow acos log x2 x0 Pow sec x0 x0 Mul x4 log x0 Add x7 -1 Mul x7 Mul Pow Mul Pow acos log x2 x0 Pow sec x0 x0 Add Mul x4 log x0 -1 Add Mul Mul x4 log x0 Add Mul Pow sec x0 x0 Mul Pow acos log x2 Add x0 -1 Mul acos log x2 log acos log x2 Mul Pow acos log x2 x0 Mul Pow sec x0 Add x0 -1 Add Mul x0 Mul tan x0 sec x0 Mul sec x0 log sec x0 Mul Mul Mul Pow acos log x2 x0 Pow sec x0 x0 log Mul Pow acos log x2 x0 Pow sec x0 x0 Mul x4 Pow x0 -1 