Mul Add x7 x4 Add Pow 2 sqrt atanh Add Pow Pow x5 asech x0 Add x0 x1 x0 1 
Mul Add x7 x4 Mul Pow 2 Add sqrt atanh Add Pow Pow x5 asech x0 Add x0 x1 x0 -1 Mul 2.69314718055995 Mul Pow Mul 2 sqrt atanh Add Pow Pow x5 asech x0 Add x0 x1 x0 -1 Mul Add Mul Pow Pow x5 asech x0 Add Add x0 x1 -1 Add Mul Add x0 x1 Mul Pow x5 Add asech x0 -1 Mul Mul x5 log x5 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow x5 asech x0 log Pow x5 asech x0 1 Pow Add 1 Mul -1 Mul Add Pow Pow x5 asech x0 Add x0 x1 x0 Add Pow Pow x5 asech x0 Add x0 x1 x0 -1 