sqrt Pow asech Mul E Add x7 Mul x7 x7 x0 
Mul Pow Mul 2 sqrt Pow asech Mul E Add x7 Mul x7 x7 x0 -1 Mul Pow asech Mul E Add x7 Mul x7 x7 Add x0 -1 Mul asech Mul E Add x7 Mul x7 x7 log asech Mul E Add x7 Mul x7 x7 