Pow x0 sec Mul Pow acos x0 x6 x5 
Mul Pow x0 Add sec Mul Pow acos x0 x6 x5 -1 Add sec Mul Pow acos x0 x6 x5 Mul Mul x0 log x0 Mul Mul tan Mul Pow acos x0 x6 x5 sec Mul Pow acos x0 x6 x5 Mul x5 Mul Pow acos x0 Add x6 -1 Mul x6 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 