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