Mul Add x0 E Add 3 asec Mul x0 asinh x1 
Add Add 3 asec Mul x0 asinh x1 Mul Add x0 E Mul asinh x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 asinh x1 Mul x0 asinh x1 -1 Mul x0 asinh x1 Mul x0 asinh x1 -1 