Pow asec asec Mul x0 E 3 
Mul Pow asec asec Mul x0 E 2 Mul 3 Mul Mul E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 E Mul x0 E -1 Mul x0 E Mul x0 E -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asec Mul x0 E asec Mul x0 E -1 asec Mul x0 E asec Mul x0 E -1 