acot Mul Mul Mul x0 Pow Mul Mul acos E -2 2 pi x0 Mul Add -2 Mul x0 x0 x0 
Mul -1 Mul Add Mul Mul Add -2 Mul x0 x0 x0 Add Mul x0 Pow Mul Mul acos E -2 2 pi Mul x0 Pow Mul Mul acos E -2 2 pi Mul Mul Mul x0 Pow Mul Mul acos E -2 2 pi x0 Add Mul x0 Add x0 x0 Add -2 Mul x0 x0 Pow Add 1 Mul Mul Mul Mul x0 Pow Mul Mul acos E -2 2 pi x0 Mul Add -2 Mul x0 x0 x0 Mul Mul Mul x0 Pow Mul Mul acos E -2 2 pi x0 Mul Add -2 Mul x0 x0 x0 -1 