Add x4 atan Add log acos Mul 3 acot x0 x0 
Mul Add Mul Mul -1 Mul Mul 3 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul 3 acot x0 Mul 3 acot x0 -1 Pow acos Mul 3 acot x0 -1 1 Pow Add 1 Mul Add log acos Mul 3 acot x0 x0 Add log acos Mul 3 acot x0 x0 -1 