Mul Mul -2 asec tan Add 64 x0 exp Add 1 Mul 3 x0 
Add Mul exp Add 1 Mul 3 x0 Mul -2 Mul Pow sec Add 64 x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul tan Add 64 x0 tan Add 64 x0 -1 tan Add 64 x0 tan Add 64 x0 -1 Mul Mul -2 asec tan Add 64 x0 Mul exp Add 1 Mul 3 x0 3 