Mul x0 asinh Mul sech Add x7 Pow log x0 E -1 
Add asinh Mul sech Add x7 Pow log x0 E -1 Mul x0 Mul Mul -1 Mul Mul tanh Add x7 Pow log x0 E Mul -1 sech Add x7 Pow log x0 E Mul Pow log x0 Add E -1 Mul E Pow x0 -1 Pow sqrt Add 1 Mul Mul sech Add x7 Pow log x0 E -1 Mul sech Add x7 Pow log x0 E -1 -1 