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