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