Pow Pow atan x0 x3 Mul x0 Add Pow Add asec x7 x0 x1 x0 
Mul Pow Pow atan x0 x3 Add Mul x0 Add Pow Add asec x7 x0 x1 x0 -1 Add Mul Mul x0 Add Pow Add asec x7 x0 x1 x0 Mul Pow atan x0 Add x3 -1 Mul x3 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow atan x0 x3 log Pow atan x0 x3 Add Add Pow Add asec x7 x0 x1 x0 Mul x0 Add Mul Pow Add asec x7 x0 Add x1 -1 x1 1 