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