Mul Mul x7 Add Mul Mul Pow x2 x0 Pow x0 atan x1 x0 x0 x7 
Mul x7 Mul x7 Add Add Mul x0 Add Mul Pow x0 atan x1 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Pow x2 x0 Mul Pow x0 Add atan x1 -1 atan x1 Mul Pow x2 x0 Pow x0 atan x1 1 