Mul x0 Add Add x0 x0 acot Mul x0 Mul x0 Pow x6 x2 
Add Add Add x0 x0 acot Mul x0 Mul x0 Pow x6 x2 Mul x0 Add 2 Mul -1 Mul Add Mul x0 Pow x6 x2 Mul x0 Pow x6 x2 Pow Add 1 Mul Mul x0 Mul x0 Pow x6 x2 Mul x0 Mul x0 Pow x6 x2 -1 