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