Mul Add x6 Add Add x2 acos x0 Pow Mul Pow sec Mul x2 sec acos x0 x3 x4 x0 Pow x0 x0 
Add Mul Pow x0 x0 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul Pow sec Mul x2 sec acos x0 x3 x4 Add x0 -1 Add Mul x0 Mul x4 Mul Pow sec Mul x2 sec acos x0 Add x3 -1 Mul x3 Mul Mul tan Mul x2 sec acos x0 sec Mul x2 sec acos x0 Mul x2 Mul Mul tan acos x0 sec acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow sec Mul x2 sec acos x0 x3 x4 log Mul Pow sec Mul x2 sec acos x0 x3 x4 Mul Add x6 Add Add x2 acos x0 Pow Mul Pow sec Mul x2 sec acos x0 x3 x4 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 