Mul Pow atan x0 sqrt x1 Add pi Pow sec x6 x0 
Add Mul Add pi Pow sec x6 x0 Mul Pow atan x0 Add sqrt x1 -1 Mul sqrt x1 Pow Add 1 Mul x0 x0 -1 Mul Pow atan x0 sqrt x1 Mul Pow sec x6 Add x0 -1 Mul sec x6 log sec x6 