asech Pow x0 Add 5 Mul E 2 
Mul Mul Pow x0 Add Add 5 Mul E 2 -1 Add 5 Mul E 2 Pow Mul Mul Pow x0 Add 5 Mul E 2 Pow x0 Add 5 Mul E 2 sqrt Add 1 Mul -1 Pow Mul Pow x0 Add 5 Mul E 2 Pow x0 Add 5 Mul E 2 -1 -1 