sech Mul Pow x0 -0.863691154450617 asinh x1 
Mul Mul tanh Mul Pow x0 -0.863691154450617 asinh x1 Mul -1 sech Mul Pow x0 -0.863691154450617 asinh x1 Mul asinh x1 Mul Pow x0 -1.86369115445062 -0.863691154450617 