exp Add x0 Add Mul x0 asec sqrt x0 Mul x0 Mul x0 Mul x5 x0 
Mul exp Add x0 Add Mul x0 asec sqrt x0 Mul x0 Mul x0 Mul x5 x0 Add 1 Add Add asec sqrt x0 Mul x0 Mul Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sqrt x0 sqrt x0 -1 sqrt x0 sqrt x0 -1 Add Mul x0 Mul x5 x0 Mul x0 Add Mul x5 x0 Mul x0 x5 