Mul x7 Mul acot Add Mul x2 Mul Add x3 acot x4 x6 Add -2 x0 Mul Mul x0 x6 5 
Mul x7 Add Mul Mul Mul x0 x6 5 Mul -1 Pow Add 1 Mul Add Mul x2 Mul Add x3 acot x4 x6 Add -2 x0 Add Mul x2 Mul Add x3 acot x4 x6 Add -2 x0 -1 Mul acot Add Mul x2 Mul Add x3 acot x4 x6 Add -2 x0 Mul 5 x6 