Mul -2 Mul Pow acos x0 Mul x3 -3 Pow acot x1 Mul 3 Mul -2 Add x0 x0 
Mul -2 Mul Pow acot x1 Mul 3 Mul -2 Add x0 x0 Mul Pow acos x0 Add Mul x3 -3 -1 Mul Mul x3 -3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 