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