Add Pow exp x0 -4 asech Mul 5 Add x0 Pow Add Add x0 x0 exp E Mul Add x0 x0 x2 
Add Mul Pow exp x0 5 Mul -4 exp x0 Mul Mul 5 Add 1 Mul Pow Add Add x0 x0 exp E Add Mul Add x0 x0 x2 -1 Add Mul Mul Add x0 x0 x2 2 Mul Mul Add Add x0 x0 exp E log Add Add x0 x0 exp E Mul x2 2 Pow Mul Mul Mul 5 Add x0 Pow Add Add x0 x0 exp E Mul Add x0 x0 x2 Mul 5 Add x0 Pow Add Add x0 x0 exp E Mul Add x0 x0 x2 sqrt Add 1 Mul -1 Pow Mul Mul 5 Add x0 Pow Add Add x0 x0 exp E Mul Add x0 x0 x2 Mul 5 Add x0 Pow Add Add x0 x0 exp E Mul Add x0 x0 x2 -1 -1 