Pow Pow sec Pow acos x0 x0 x0 Add 2 Pow x0 x2 
Mul Pow Pow sec Pow acos x0 x0 x0 Add Add 2 Pow x0 x2 -1 Add Mul Add 2 Pow x0 x2 Mul Pow sec Pow acos x0 x0 Add x0 -1 Add Mul x0 Mul Mul tan Pow acos x0 x0 sec Pow acos x0 x0 Mul Pow acos x0 Add x0 -1 Add Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 log acos x0 Mul sec Pow acos x0 x0 log sec Pow acos x0 x0 Mul Mul Pow sec Pow acos x0 x0 x0 log Pow sec Pow acos x0 x0 x0 Mul Pow x0 Add x2 -1 x2 