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