Mul Mul x7 3 Add 3 Add Mul Mul Add x0 asech x6 x0 x0 acosh Pow E x0 
Mul Mul x7 3 Add Add Mul x0 Add x0 Add x0 asech x6 Mul Add x0 asech x6 x0 Mul Mul Pow E Add x0 -1 Mul E log E Pow Mul sqrt Add Pow E x0 -1 sqrt Add 1 Pow E x0 -1 