acos Mul x0 Mul acot Mul x0 acos Add -2 x6 -4 
Mul -1 Mul Add Mul acot Mul x0 acos Add -2 x6 -4 Mul x0 Mul -4 Mul -1 Mul acos Add -2 x6 Pow Add 1 Mul Mul x0 acos Add -2 x6 Mul x0 acos Add -2 x6 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul acot Mul x0 acos Add -2 x6 -4 Mul x0 Mul acot Mul x0 acos Add -2 x6 -4 -1 