Add acos Mul 2 Add Pow x0 acot Mul x5 x1 x4 Mul Mul x7 x0 3 
Add Mul -1 Mul Mul 2 Mul Pow x0 Add acot Mul x5 x1 -1 acot Mul x5 x1 Pow sqrt Add 1 Mul -1 Mul Mul 2 Add Pow x0 acot Mul x5 x1 x4 Mul 2 Add Pow x0 acot Mul x5 x1 x4 -1 Mul 3 x7 