Mul x0 Add x0 asech Pow Add x0 x3 Add x0 x1 
Add Add x0 asech Pow Add x0 x3 Add x0 x1 Mul x0 Add 1 Mul Mul Pow Add x0 x3 Add Add x0 x1 -1 Add Add x0 x1 Mul Add x0 x3 log Add x0 x3 Pow Mul Mul Pow Add x0 x3 Add x0 x1 Pow Add x0 x3 Add x0 x1 sqrt Add 1 Mul -1 Pow Mul Pow Add x0 x3 Add x0 x1 Pow Add x0 x3 Add x0 x1 -1 -1 