Add Pow atan x0 Add x7 Pow sqrt x3 x0 2 
Mul Pow atan x0 Add Add x7 Pow sqrt x3 x0 -1 Add Mul Add x7 Pow sqrt x3 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Pow sqrt x3 Add x0 -1 Mul sqrt x3 log sqrt x3 