Mul Mul x3 Add Mul Pow atan x0 Pow acos x0 Add sqrt x0 pi -2 Mul Mul x0 -5 atan x0 E 
Mul E Mul x3 Add Mul -2 Mul Pow atan x0 Add Pow acos x0 Add sqrt x0 pi -1 Add Mul Pow acos x0 Add sqrt x0 pi Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Pow acos x0 Add Add sqrt x0 pi -1 Add Mul Add sqrt x0 pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 log acos x0 Pow Mul 2 sqrt x0 -1 Add Mul atan x0 -5 Mul Mul x0 -5 Pow Add 1 Mul x0 x0 -1 