Add Mul Add 1 Pow x0 Mul x0 -2 Pow sqrt x0 acot Add x0 3 Add 2 Mul x0 x0 
Add Add Mul Pow sqrt x0 acot Add x0 3 Mul Pow x0 Add Mul x0 -2 -1 Add Mul x0 -2 Mul Mul x0 log x0 -2 Mul Add 1 Pow x0 Mul x0 -2 Mul Pow sqrt x0 Add acot Add x0 3 -1 Add Mul acot Add x0 3 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul -1 Pow Add 1 Mul Add x0 3 Add x0 3 -1 Add x0 x0 