Mul x0 Mul asech Pow x7 x0 Add 0.0993279274194332 x0 
Add Mul asech Pow x7 x0 Add 0.0993279274194332 x0 Mul x0 Add Mul Add 0.0993279274194332 x0 Mul Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Mul Mul Pow x7 x0 Pow x7 x0 sqrt Add 1 Mul -1 Pow Mul Pow x7 x0 Pow x7 x0 -1 -1 asech Pow x7 x0 