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