Add Pow acos x1 Pow Add Pow sec Add x0 4 x0 Mul acos x2 x0 32 -3 
Mul Pow acos x1 Add Pow Add Pow sec Add x0 4 x0 Mul acos x2 x0 32 -1 Mul Mul acos x1 log acos x1 Mul Pow Add Pow sec Add x0 4 x0 Mul acos x2 x0 31 Mul 32 Add Mul Pow sec Add x0 4 Add x0 -1 Add Mul x0 Mul tan Add x0 4 sec Add x0 4 Mul sec Add x0 4 log sec Add x0 4 acos x2 