Mul x0 asech Pow sec Mul Mul 3 x0 x6 3 
Add asech Pow sec Mul Mul 3 x0 x6 3 Mul x0 Mul Mul Pow sec Mul Mul 3 x0 x6 2 Mul 3 Mul Mul tan Mul Mul 3 x0 x6 sec Mul Mul 3 x0 x6 Mul x6 3 Pow Mul Mul Pow sec Mul Mul 3 x0 x6 3 Pow sec Mul Mul 3 x0 x6 3 sqrt Add 1 Mul -1 Pow Mul Pow sec Mul Mul 3 x0 x6 3 Pow sec Mul Mul 3 x0 x6 3 -1 -1 