Mul x0 Pow asech Add x0 x0 Mul x6 x0 
Add Pow asech Add x0 x0 Mul x6 x0 Mul x0 Mul Pow asech Add x0 x0 Add Mul x6 x0 -1 Add Mul Mul x6 x0 Mul 2 Pow Mul Mul Add x0 x0 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul Add x0 x0 Add x0 x0 -1 -1 Mul Mul asech Add x0 x0 log asech Add x0 x0 x6 