Add Add Mul x0 log Mul acos Add Add -4 Add x0 acot x3 x2 -4 -3 Pow x0 -1 
Add Add log Mul acos Add Add -4 Add x0 acot x3 x2 -4 Mul x0 Mul Mul -4 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add Add -4 Add x0 acot x3 x2 Add Add -4 Add x0 acot x3 x2 -1 Pow Mul acos Add Add -4 Add x0 acot x3 x2 -4 -1 Mul Pow x0 2 -1 