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