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