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