Pow Mul Add x0 exp Mul asech E x0 Add Mul x1 x0 x0 Add sqrt x0 x0 
Mul Pow Mul Add x0 exp Mul asech E x0 Add Mul x1 x0 x0 Add Add sqrt x0 x0 -1 Add Mul Add sqrt x0 x0 Add Mul Add Mul x1 x0 x0 Add 1 Mul exp Mul asech E x0 asech E Mul Add x0 exp Mul asech E x0 Add x1 1 Mul Mul Mul Add x0 exp Mul asech E x0 Add Mul x1 x0 x0 log Mul Add x0 exp Mul asech E x0 Add Mul x1 x0 x0 Add Pow Mul 2 sqrt x0 -1 1 