Mul -4 asech Pow Add x1 Pow Add x3 sqrt x0 E 2 
Mul -4 Mul Mul Add x1 Pow Add x3 sqrt x0 E Mul 2 Mul Pow Add x3 sqrt x0 Add E -1 Mul E Pow Mul 2 sqrt x0 -1 Pow Mul Mul Pow Add x1 Pow Add x3 sqrt x0 E 2 Pow Add x1 Pow Add x3 sqrt x0 E 2 sqrt Add 1 Mul -1 Pow Mul Pow Add x1 Pow Add x3 sqrt x0 E 2 Pow Add x1 Pow Add x3 sqrt x0 E 2 -1 -1 