Add Pow x0 x0 atan Mul 2 Mul Mul -3 acot x7 Add -2 x0 
Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul 2 Mul -3 acot x7 Pow Add 1 Mul Mul 2 Mul Mul -3 acot x7 Add -2 x0 Mul 2 Mul Mul -3 acot x7 Add -2 x0 -1 