sec Mul Pow acos x3 Add x0 x0 x0 
Mul Mul tan Mul Pow acos x3 Add x0 x0 x0 sec Mul Pow acos x3 Add x0 x0 x0 Add Mul x0 Mul Pow acos x3 Add Add x0 x0 -1 Mul Mul acos x3 log acos x3 2 Pow acos x3 Add x0 x0 