Mul Mul asech Add x0 -3 Mul asinh x0 1.00067115040168 x5 
Mul x5 Add Mul Mul asinh x0 1.00067115040168 Pow Mul Mul Add x0 -3 Add x0 -3 sqrt Add 1 Mul -1 Pow Mul Add x0 -3 Add x0 -3 -1 -1 Mul asech Add x0 -3 Mul 1.00067115040168 Pow sqrt Add 1 Mul x0 x0 -1 