acot Mul acos x0 Mul Mul Mul x0 Add pi Add 4 x7 2 x4 
Mul -1 Mul Add Mul Mul Mul Mul x0 Add pi Add 4 x7 2 x4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul x4 Mul 2 Add pi Add 4 x7 Pow Add 1 Mul Mul acos x0 Mul Mul Mul x0 Add pi Add 4 x7 2 x4 Mul acos x0 Mul Mul Mul x0 Add pi Add 4 x7 2 x4 -1 