Mul acot x0 Pow sqrt Mul Pow x0 8 -3 Mul x6 x2 
Add Mul Pow sqrt Mul Pow x0 8 -3 Mul x6 x2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow sqrt Mul Pow x0 8 -3 Add Mul x6 x2 -1 Mul Mul x6 x2 Mul Pow Mul 2 sqrt Mul Pow x0 8 -3 -1 Mul -3 Mul Pow x0 7 8 