Pow Add -2 x0 Add Pow 2 Mul x7 1.55740772465490 asech Add x0 Add x0 -4 
Mul Pow Add -2 x0 Add Add Pow 2 Mul x7 1.55740772465490 asech Add x0 Add x0 -4 -1 Add Add Pow 2 Mul x7 1.55740772465490 asech Add x0 Add x0 -4 Mul Mul Add -2 x0 log Add -2 x0 Mul 2 Pow Mul Mul Add x0 Add x0 -4 Add x0 Add x0 -4 sqrt Add 1 Mul -1 Pow Mul Add x0 Add x0 -4 Add x0 Add x0 -4 -1 -1 