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