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