Pow x7 Mul Pow pi Mul sqrt Pow x0 3 atan x0 -4 
Mul Pow x7 Add Mul Pow pi Mul sqrt Pow x0 3 atan x0 -4 -1 Mul Mul x7 log x7 Mul -4 Mul Pow pi Add Mul sqrt Pow x0 3 atan x0 -1 Mul Mul pi log pi Add Mul atan x0 Mul Pow Mul 2 sqrt Pow x0 3 -1 Mul Pow x0 2 3 Mul sqrt Pow x0 3 Pow Add 1 Mul x0 x0 -1 