Add x0 Mul 3 acot Mul Add -3 Pow Add x0 Add Mul asech x6 Mul -3 x0 Add x0 2 3 Add x5 3 
Add 1 Mul 3 Mul -1 Mul Mul Add x5 3 Mul Pow Add x0 Add Mul asech x6 Mul -3 x0 Add x0 2 2 Mul 3 Add 1 Add Mul asech x6 -3 1 Pow Add 1 Mul Mul Add -3 Pow Add x0 Add Mul asech x6 Mul -3 x0 Add x0 2 3 Add x5 3 Mul Add -3 Pow Add x0 Add Mul asech x6 Mul -3 x0 Add x0 2 3 Add x5 3 -1 